|
From: | Antonio Diaz Diaz |
Subject: | Re: ed.texi to PDF |
Date: | Sat, 28 Nov 2020 17:00:26 +0100 |
User-agent: | Mozilla/5.0 (X11; U; Linux i586; en-US; rv:1.9.1.19) Gecko/20110420 SeaMonkey/2.0.14 |
Matt Wette wrote:
I ran texi2any --pdf ed.texi and it failed. This is on ed-1.16. The following makes it work.
Thanks for reporting this.I have verified that ed.texi since ed 0.3 seems to be implemented as documented in the texinfo manual[1]. Therefore this seems a bug either in texi2any or in the texinfo documentation.
[1] http://www.gnu.org/software/texinfo/manual/texinfo/html_node/Top-Node-Example.html
Given what is written in another part of the texinfo manual[2], I tend to think that the error is in the texinfo documentation.
[2] http://www.gnu.org/software/texinfo/manual/texinfo/html_node/The-Top-Node.html "The contents of the 'Top' node should appear only in the online output; none of it should appear in printed output, so enclose it between @ifnottex and @end ifnottex commands. (TeX does not print either an @node line or a menu; they appear only in Info".
I'll fix this by extending the existing @ifnottex to include the whole Top node, and will report the problem to the Texinfo maintainers. Sadly the fix will not be present in ed-1.17-rc1 which I'll announce later today.
Best regards, Antonio.
[Prev in Thread] | Current Thread | [Next in Thread] |