------- Additional Comments From joseph at codesourcery dot com 2005-09-02 12:41 ------- Subject: Re: Manuals in the Portable Document Format (PDF)
On Fri, 2 Sep 2005, pinskia at gcc dot gnu dot org wrote: > Anyways ps2pdf would be used to generate them anyways so it does not > matter as you generated them already. texi2pdf (= texi2dvi --pdf) uses pdftex to generate PDF directly and texinfo.tex has conditional code to generate PDF files with internal links etc. when generating PDF. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23693
