Clean out *.texi and *.info* as well for "make clean".
diff --git a/Doc/Makefile b/Doc/Makefile
index 8f65e09..db5b4ad 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -249,6 +249,7 @@
 # - 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: