Re: Changing PDFTEX?

[Karim Belabas <Karim.Belabas@math.u-bordeaux1.fr>]

* Charles Greathouse [2013-11-07 06:05]:
> ./Configure generates (among many other things) doc/Makefile which contains
> the definition
> 
> PDFTEX= pdftex
> 
> Is there a way to pass an option to Configure to use a different value,
> e.g.,
> 
> PDFTEX = pdflatex --interaction=batchmode
> 
> or even
> 
> PDFTEX = rubber
> 
> ?
> 
> Of course I could edit the file but it's overwritten every time I configure
> (which is often). I could use a script file to configure then sed
> doc/Makefile to the desired value but that just seems like duplication of
> effort.

No need to hack Configure, 'make' knows how to do it:

  make PDFTEX=rubber docpdf

I don't think it will compile, though (we use plain TeX, not LaTeX)

Cheers,

    K.B.
--
Karim Belabas, IMB (UMR 5251)  Tel: (+33) (0)5 40 00 26 17
Universite Bordeaux 1          Fax: (+33) (0)5 40 00 69 50
351, cours de la Liberation    http://www.math.u-bordeaux1.fr/~kbelabas/
F-33405 Talence (France)       http://pari.math.u-bordeaux1.fr/  [PARI/GP]
`