The simplest way to generate PDF output from Texinfo source is to run
the convenience script
this executes the
texi2dvi script with the --pdf
option (see Format with texi2dvi). If for some reason you
want to process the document by hand, you can run the
program instead of plain
tex. That is, run ‘pdftex
foo.texi’ instead of ‘tex foo.texi’.
PDF stands for ‘Portable Document Format’. It was invented by Adobe Systems some years ago for document interchange, based on their PostScript language. Related links:
At present, Texinfo does not provide ‘@ifpdf’ or ‘@pdf’ commands as for the other output formats, since PDF documents contain many internal links that would be hard or impossible to get right at the Texinfo source level.
PDF files require special software to be displayed, unlike the plain ASCII formats (Info, HTML) that Texinfo supports. They also tend to be much larger than the DVI files output by TeX by default. Nevertheless, a PDF file does define an actual typeset document in a self-contained file, so it has its place.