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.

Reply via email to