* doc/Makefile (clean):

  Remove generated PDF file when cleaning.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@347 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

doc/Makefile

@@ -11,5 +11,5 @@ export TEXINPUTS=.:
 	pdflatex $*
 
 clean:
-	rm -f *.log *.aux *.bbl *.blg *.out *.toc *~
+	rm -f *.log *.aux *.bbl *.blg *.out *.toc *~ main.pdf