diff --git a/Makefile b/Makefile
index 8732189cacabb0c88d7e1022cf091017e5eb6a30..61170937952055f9ca5ccb4c377b137da64ba38d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile,v 1.115 2003/04/09 20:27:56 mast Exp $
+# $Id: Makefile,v 1.116 2003/04/15 14:39:43 nilsson Exp $
 #
 # Meta Makefile
 #
@@ -281,9 +281,6 @@ clean:
 	  if test -f remake; then $(DO_MAKE) clean; \
 	  else exit $$res; fi; \
 	} || exit $$?
-	if test -f "refdoc/Makefile"; then \
-	  cd refdoc; $(DO_MAKE) clean; \
-	else :; fi
 
 spotless:
 	-cd "$(BUILDDIR)" && test -f Makefile && $(DO_MAKE) spotless || { \