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'
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
Tom Tromey wrote:
> > "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 l
> "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 Co
Tom Tromey wrote:
> > "Derek" == Derek R Price <[EMAIL PROTECTED]> writes:
>
> Derek> Yep. Looks like that could be used by configure to set, say,
> Derek> TEX_TEXINPUTS & PDFTEX_TEXINPUTS and prepend include dirs
> Derek> differently for different targets, but I suspect that if your
> Derek
> "Derek" == Derek R Price <[EMAIL PROTECTED]> writes:
Derek> Yep. Looks like that could be used by configure to set, say,
Derek> TEX_TEXINPUTS & PDFTEX_TEXINPUTS and prepend include dirs
Derek> differently for different targets, but I suspect that if your
Derek> TeX distribution includes kp
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 cou
