diff options
| -rw-r--r-- | Doc/info/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Doc/info/Makefile b/Doc/info/Makefile index 18da7d4..dcad793 100644 --- a/Doc/info/Makefile +++ b/Doc/info/Makefile @@ -30,3 +30,9 @@ python-lib.texi: lib1.texi ../tools/fix.el python-lib.info: python-lib.texi $(MAKEINFO) --footnote-style end --fill-column 72 \ --paragraph-indent 0 $< + +clean: + rm -f *~ *.texi + +clobber: clean + rm -f *.texi python-???.info python-???.info-[0-9]* |