"make clean" should also clean up documentation

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

diff --git a/Makefile b/Makefile
index b13edabc209ef830b60b7a6b861d61686c4a2cbb..cef21b767bf5435378f0b5ea18afe8e318c0f5dc 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