Charles Greathouse on Thu, 07 Nov 2013 06:05:37 +0100
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
./Configure generates (among many other things) doc/Makefile which contains the definition
Is there a way to pass an option to Configure to use a different value, e.g.,
PDFTEX = pdflatex --interaction=batchmode
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.
Case Western Reserve University