[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ed.texi to PDF

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: 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,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]