Diff of /manual/Makefile

Parent Directory | Revision Log | Revision Graph | Patch

--- manual/Makefile	2001/11/19 18:26:46	1.7
+++ manual/Makefile	2001/12/11 21:23:21	1.8
@@ -9,10 +9,11 @@
 	make tex
 
 tex:
-	latex manual
+	TEXINPUTS=.:::texinputs latex manual
 	bibtex manual
-	latex manual
-	latex manual | tee warnings
+	TEXINPUTS=.:::texinputs latex manual
+	TEXINPUTS=.:::texinputs latex manual | tee warnings
+#	TEXINPUTS=.:::texinputs latex manual
 ps: manual.ps
 pdf: manual.pdf