|
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/
[Prev in Thread] | Current Thread | [Next in Thread] |