--- config/TOP_Make.SH.orig	Thu Jan 15 04:33:33 2004
+++ config/TOP_Make.SH	Sun Jan  9 18:38:25 2005
@@ -38,7 +38,6 @@
 	@echo "Available extra tests: test-all $top_test_extra"
 
 all::
-	@-cd doc && \$(MAKE) doc
 	@\$(MAKE) gp
 
 gp bench test-kernel test-all $top_test_extra $top_dotest_extra install cleanobj cleantest install-bin install-doc install-data install-lib-sta install-bin-sta dobench tune::
