--- manual/Makefile	2004/03/23 17:17:59	1.22
+++ manual/Makefile	2004/03/23 19:29:29	1.23
@@ -96,7 +96,6 @@
 subfigs: manual.tgz
 
 manual.dvi: *.tex */*.tex */*/*/*.tex */*.ps */*.eps */*/*/*.eps manual_references.bib
-	make pt_files
 	TEXINPUTS=.:::texinputs latex manual
 	bibtex manual
 	TEXINPUTS=.:::texinputs latex manual