[Bug other/23693] Manuals in the Portable Document Format (PDF)

[joseph at codesourcery dot com]

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