diff options
| -rw-r--r-- | Doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 8f65e09..db5b4ad 100644 --- 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: |