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
