From cebf03c4cd24eb692fe9eb426a4bac2c3fad248c Mon Sep 17 00:00:00 2001
From: Linus Torvalds <torvalds@ppc970.osdl.org>
Date: Sat, 21 May 2005 09:59:37 -0700
Subject: [PATCH] "make clean" should also clean up documentation

(Or, if somebody disagrees, we should have a "make distclean").
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index b13edabc20..cef21b767b 100644
--- 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
-- 
2.11.4.GIT