Remove @webchecker.pickle in the "clean" target.

diff --git a/Doc/Makefile b/Doc/Makefile
index 705d03aa6555e4526fa9f7c4647c251ff1ad2d90..fcac6194f512175c534c011121c15c85c8692f4b 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -309,7 +309,7 @@ tarballs:  tarpdf tarps tarhtml tarlatex
 # - useful results: .dvi, .pdf, .ps, .texi, .info
 clean:
        rm -f @* *~ *.aux *.idx *.ilg *.ind *.log *.toc *.blg *.bbl *.py[co]
-       rm -f *.bak *.orig lib1.texi *.out
+       rm -f *.bak *.orig lib1.texi *.out @webchecker.pickle
        rm -f html-$(VERSION).tar.gz info-$(VERSION).tar.gz
        rm -f pdf-$(VERSION).tar.gz postscript-$(VERSION).tar.gz
        rm -f latex-$(VERSION).tar.gz