Clean out *.texi and *.info* as well for "make clean".

diff --git a/Doc/Makefile b/Doc/Makefile
index 8f65e093e70a9899ef801b00614332011ea13888..db5b4adbfc82836c39c42a559965ffe50ff0c606 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -249,6 +249,7 @@ tarhtml:
 # - useful results: .dvi, .ps, .texi, .info
 clean: l2hclean
        rm -f @* *~ *.aux *.idx *.ilg *.ind *.log *.toc *.blg *.bbl *.pyc
+       rm -f *.texi *.info*
        rm -f *.bak *.orig
 
 l2hclean: