distclean target added to root makefile. From rusty.

Makefile

@@ -98,12 +98,15 @@ clean::
 	$(MAKE) -C tools clean
 	$(MAKE) -C docs clean
 
-# clean, but blow away kernel build tree plus tar balls
-mrproper: clean
+# clean, but blow away kernel build tree plus tarballs
+distclean: clean
 	rm -rf dist patches/tmp
 	for i in $(ALLKERNELS) ; do $(MAKE) $$i-delete ; done
 	for i in $(ALLSPARSETREES) ; do $(MAKE) $$i-mrproper ; done
 
+# Linux name for GNU distclean
+mrproper: distclean
+
 install-logging: LOGGING=logging-0.4.9.2
 install-logging:
 	[ -f $(LOGGING).tar.gz ] || wget http://www.red-dove.com/$(LOGGING).tar.gz
@@ -142,7 +145,7 @@ help:
 	@echo 'Cleaning targets:'
 	@echo '  clean            - clean the Xen, tools and docs (but not'
 	@echo '                     guest kernel) trees'
-	@echo '  mrproper         - clean plus delete kernel tarballs and kernel'
+	@echo '  distclean        - clean plus delete kernel tarballs and kernel'
 	@echo '                     build trees'
 	@echo '  kdelete          - delete guest kernel build trees'
 	@echo '  kclean           - clean guest kernel build trees'