--- manual/Makefile	2002/09/20 19:35:20	1.16
+++ manual/Makefile	2002/11/20 14:08:51	1.17
@@ -46,7 +46,7 @@
 	TEXINPUTS=.:::texinputs latex manual | tee warnings
 
 manual.ps: manual.dvi
-	dvips -Pcmz -Pamz -Ppdf -o manual.ps manual.dvi
+	dvips -Pcmz -Pamz -o manual.ps manual.dvi
 
 manual.pdf: manual.ps
 	ps2pdf -dMaxSubsetPct=100 -dCompatibilityLevel=1.2 -dSubsetFonts=true -dEmbedAllFonts=true manual.ps manual.pdf