Re: ed.texi to PDF

[Antonio Diaz Diaz]

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.