Tom Tromey wrote:
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.
It should be the exact target used for DVI except for the addition of a
'--pdf' switch to the texi2dvi command line. I'm
"Derek" == Derek R Price [EMAIL PROTECTED] writes:
Me too. But the point is that GNU packages are supposed to ship
with texinfo.tex.
Derek Is there a web page somewhere with this standard on it? I
Derek browsed briefly but I haven't been able to locate one.
It is in the GNU Coding
Yep. Looks like that could be used by configure to set, say,
TEX_TEXINPUTS PDFTEX_TEXINPUTS and prepend include dirs differently
for different targets, but I suspect that if your TeX distribution
includes kpsewhich then your TeX applications can already find the
appropriate texinfo.tex.
Of
