[rfa/5] add PDF target to doc directory

[Eli Zaretskii]

> Date: Sun, 28 May 2000 18:39:17 +1000
> From: Andrew Cagney <ac131313@cygnus.com>
>
> Sorry, I ment the contents which always end up at the end of the
> document :-)

Texinfo 4.0 allows you to put @contents *anywhere* in the document.  I
don't know if the pretest that you are using includes that feature,
but even if it doesn't, you only need this with TeX or PDFTeX, which
always supported this, since TeX does several passes on the document
anyway.

So you could put @contents twice, once @iftex at the beginning, the
other time @ifnottex at the end, and get what you want, I think.