1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4f7afd5c7b..703f47daf1 100644
--- a/Makefile
+++ b/Makefile
@@ -123,7 +123,10 @@ clean::
 
 # clean, but blow away kernel build tree plus tarballs
 .PHONY: distclean
-distclean: clean
+distclean:
+	$(MAKE) -C xen distclean
+	$(MAKE) -C tools distclean
+	$(MAKE) -C docs distclean
 	rm -rf dist patches/tmp
 	for i in $(ALLKERNELS) ; do $(MAKE) $$i-delete ; done
 	for i in $(ALLSPARSETREES) ; do $(MAKE) $$i-mrproper ; done