Re: [Fwd: --add-missing]

[Tom Tromey]

Derek> I slogged my way through enough FAQs, documentation, and email
Derek> archives to lead me to believe that having the same *.texi file
Derek> find two different texinfo.tex files (say ./texinfo.tex &
Derek> ./pdftexinfo.tex) depending on the output isn't a common
Derek> request.  I sent out a query to the pdftex mailing list
Derek> however.  I'll let you know if they inform me of an available
Derek> workaround.

Ok, now I'm lead to believe that the latest texinfo.tex can handle
both ps and pdf generation.  So hackery shouldn't be needed -- I'll
just include the latest texinfo.tex in the next automake release like
I always do.

I wouldn't be averse to adding a `pdf' target so that `make pdf' works
as expected.  Someone else would have to write it though since I don't
know how.

Tom