diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/html/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/html/Makefile b/Doc/html/Makefile index 538d68f..ce0baa0 100644 --- a/Doc/html/Makefile +++ b/Doc/html/Makefile @@ -128,8 +128,8 @@ wcnew: all clean: rm -rf @webchecker.pickle -clobber: clean - rm -rf index.html api/ doc/ ext/ lib/ mac/ ref/ tut/ +distclean realclean clobber: clean + rm -rf index.html modindex.html api/ doc/ ext/ lib/ mac/ ref/ tut/ # This is really ugly, but we're not dependent on $(RELEASE), which isn't |