"make clean" should also clean up documentation

(Or, if somebody disagrees, we should have a "make distclean").

diff --git a/Makefile b/Makefile
index b13edab..cef21b7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -132,6 +132,7 @@ test: all
 
 clean:
        rm -f *.o mozilla-sha1/*.o ppc/*.o $(PROG) $(LIB_FILE)
+       make -C Documentation/ clean
 
 backup: clean
        cd .. ; tar czvf dircache.tar.gz dir-cache