Add *.pdf files to the clobber target (same target as *.ps).

diff --git a/Doc/Makefile b/Doc/Makefile
index d247101bd8ea0d7a8453a9980e21526a671bb0b4..9651db4f672bea68a69f938edc6be8479d40757a 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -270,4 +270,4 @@ l2hclean:
 
 # Remove temporaries as well as final products
 clobber: clean
-        rm -f *.dvi *.ps *.texi *.info *.info-[0-9]*
+        rm -f *.dvi *.pdf *.ps *.texi *.info *.info-[0-9]*