|
From: | Knut Petersen |
Subject: | Re: 2.19.31 Notation Reference glitch |
Date: | Sun, 27 Dec 2015 13:16:39 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.4.0 |
Am 27.12.2015 um 12:29 schrieb David Kastrup:
I think the easier option would be to update our version of texinfo.tex again. The current version supports both characters.
A full build with texinfo.tex version 2015-12-20.12 succeeded and cured the problem. cu, Knut
[Prev in Thread] | Current Thread | [Next in Thread] |