diff --git a/Makefile b/Makefile
index 71f9f3171ef542470d48b391d06b59157bacaa71..09356fd6084c6d4a5169b12724c46bb0108cad14 100644
--- a/Makefile
+++ b/Makefile
@@ -68,43 +68,43 @@ binary-dist::
 	@$(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02
 	@echo "Making html documentation.."
 	@echo "For fptools.."
-	$(MAKE) -C docs --no-print-directory $(MFLAGS) html
-	cp -f docs/html/* docs/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02
-	@echo "Done."
-	@for i in $(BIN_DIST_DIRS); do \
-	   echo "For $$i.."; \
-	   echo cp -f $$i/docs/users_guide/html/* $$i/docs/users_guide/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02; \
-	   cp -f $$i/docs/users_guide/html/* $$i/docs/users_guide/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02; \
-	   echo cp -f $$i/docs/html/* $$i/docs/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02; \
-	   cp -f $$i/docs/html/* $$i/docs/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02; \
-	   echo "Done."; \
-	done
-	@echo "Making dvi files.."
-	@echo "For fptools.."
-	-$(MAKE) -C docs --no-print-directory $(MFLAGS) dvi
-	-cp -f docs/*.dvi  $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02
-	@echo "Done."
-	@for i in $(BIN_DIST_DIRS); do \
-	   echo "For $$i.."; \
-	   echo cp -f $$i/docs/users_guide/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02; \
-	   cp -f $$i/docs/users_guide/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02; \
-	   echo cp -f $$i/docs/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02; \
-	   cp -f $$i/docs/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02; \
-	   echo "Done."; \
-	done
-	@echo "Making info files.."
-	@echo "For fptools.."
-	-$(MAKE) -C docs --no-print-directory $(MFLAGS) info
-	-cp -f docs/*.info $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02/
-	@echo "Done."
-	@for i in $(BIN_DIST_DIRS); do \
-	   echo "For $$i docs.."; \
-	   echo cp -f $$i/docs/users_guide/*.info  $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02; \
-	   cp -f $$i/docs/users_guide/*.info $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02; \
-	   echo cp -f $$i/docs/*.info $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02; \
-	   cp -f $$i/docs/*.info $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02; \
-	   echo "Done."; \
-	done
+	#$(MAKE) -C docs --no-print-directory $(MFLAGS) html
+	#cp -f docs/html/* docs/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02
+	#@echo "Done."
+	#@for i in $(BIN_DIST_DIRS); do \
+	#   echo "For $$i.."; \
+	#   echo cp -f $$i/docs/users_guide/html/* $$i/docs/users_guide/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02; \
+	#   cp -f $$i/docs/users_guide/html/* $$i/docs/users_guide/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02; \
+	#   echo cp -f $$i/docs/html/* $$i/docs/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02; \
+	#   cp -f $$i/docs/html/* $$i/docs/*.html $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html/ghc-2.02; \
+	#   echo "Done."; \
+	#done
+	##@echo "Making dvi files.."
+	#@echo "For fptools.."
+	#-$(MAKE) -C docs --no-print-directory $(MFLAGS) dvi
+	#-cp -f docs/*.dvi  $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02
+	#@echo "Done."
+	#@for i in $(BIN_DIST_DIRS); do \
+	#   echo "For $$i.."; \
+	#   echo cp -f $$i/docs/users_guide/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02; \
+	#   cp -f $$i/docs/users_guide/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02; \
+	#   echo cp -f $$i/docs/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02; \
+	#   cp -f $$i/docs/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi/ghc-2.02; \
+	#   echo "Done."; \
+	#done
+	#@echo "Making info files.."
+	#@echo "For fptools.."
+	#-$(MAKE) -C docs --no-print-directory $(MFLAGS) info
+	#-cp -f docs/*.info $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02/
+	#@echo "Done."
+	#@for i in $(BIN_DIST_DIRS); do \
+	#   echo "For $$i docs.."; \
+	#   echo cp -f $$i/docs/users_guide/*.info  $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02; \
+	#   cp -f $$i/docs/users_guide/*.info $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02; \
+	#   echo cp -f $$i/docs/*.info $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02; \
+	#   cp -f $$i/docs/*.info $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info/ghc-2.02; \
+	#   echo "Done."; \
+	#done
 
 #
 # binary dist'ing hslibs/, hackily.
diff --git a/ghc/Makefile b/ghc/Makefile
index c95b80b813841df9c6c12543ff436b1734450348..1386d2c69d4c014481abee0c47d00cee0b994947 100644
--- a/ghc/Makefile
+++ b/ghc/Makefile
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------
-# $Id: Makefile,v 1.6 1997/03/24 04:39:38 sof Exp $
+# $Id: Makefile,v 1.7 1997/03/24 08:39:19 sof Exp $
 #
 
 TOP=.
@@ -26,4 +26,9 @@ else
 SUBDIRS = utils driver includes runtime docs lib compiler
 endif
 
+# Easier to copy
+ifeq "$(BIN_DIST)" "1"
+SUBDIRS := $(filter-out docs,$(SUBDIRS))
+endif
+
 include $(TOP)/mk/target.mk