octave-bug-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #55187] Something in the conversion from prefa

From: Stefan Husmann
Subject: [Octave-bug-tracker] [bug #55187] Something in the conversion from preface.txi to preface.texi went wrong.
Date: Mon, 10 Dec 2018 14:07:02 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) QtWebEngine/5.12.0 Chrome/69.0.3497.128 Safari/537.36 
Follow-up Comment #6, bug #55187 (project octave):

When I wrote the bugreport, it was revision 26184, now it is

address@hidden octave]$ hg tip
Änderung:        26188:6652de1fe896
Lesezeichen:     @
Marke:           tip
Nutzer:          Rik <address@hidden>
Datum:           Sun Dec 09 17:03:33 2018 -0800
Zusammenfassung: Hack margin of text objects to be measured in points, not
pixels.

I will try with "make -j1 V=1", and report back.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?55187>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]