Remove $(PROJECT).pdf not *.pdf. We were accidentally removing the

pdf version of figures.

doc/develenv/Makefile

@@ -47,7 +47,7 @@ html: dirs
  	    $(PROJECT).texi
 
 clean:
-	rm -f *.o $(PROG) *.txt core *.html *.pdf
+	rm -f *.o $(PROG) *.txt core *.html $(PROJECT).pdf
 	rm -f *.dvi *.ps *.log *.aux *.cp *.fn *.ky *.pg *.toc *.tp *.vr $(BASE)
 	rm -f $(PROJECT) $(PROJECT)-* _*