X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=75106d99b5cbbfe6242cce72a9179a2bd07d9124;hb=f34f333be856e8437e232fa413a284752c0ca83a;hp=3bd6b726680df3ac265ce9ee17e2df2fdd3a8849;hpb=58a669d486c151eeacc353cad000891a56e8b68f;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 3bd6b72..75106d9 100644
--- a/Makefile
+++ b/Makefile
@@ -74,16 +74,7 @@ endif
 
 SUBDIRS = gmp libffi includes utils driver docs rts compiler ghc libraries libraries/Cabal/doc
 
-check-all: check-tools check-packages
-
-check-tools:
-	@:
-ifeq "$(HADDOCK_DOCS)" "YES"
-ifeq "$(HADDOCK)"      ""
-	echo "Couldn't find haddock" >&2
-	exit 1
-endif
-endif
+check-all: check-packages
 
 # Sanity check that all the boot libraries are in the tree, to catch
 # failure to run darcs-all.
@@ -134,7 +125,6 @@ stage1 : $(GCC_LIB_DEP) check-all
 	$(MAKE) -C rts boot
 	$(MAKE) -C rts
 	$(MAKE) -C libraries all
-	$(MAKE) -C utils with-stage-1
 
 # When making distributions (i.e., whether with binary-dist or using the 
 # vanilla install target to create an installer package), we can have problems
@@ -146,8 +136,10 @@ stage1 : $(GCC_LIB_DEP) check-all
 stage2 : check-all
 	$(MAKE) -C compiler stage=2 boot
 	$(MAKE) -C compiler stage=2
+	$(MAKE) -C utils with-stage-2
 ifeq "$(HADDOCK_DOCS)" "YES"
-	$(MAKE) -C compiler stage=2 doc
+	$(MAKE) -C libraries doc
+	$(MAKE) -C compiler  doc stage=2
 endif
 
 stage3 : check-all
@@ -390,6 +382,7 @@ endif
 	echo "XSLTPROC = $(XSLTPROC)"                     >> $(BIN_DIST_VARFILE)
 	echo "TARGETPLATFORM = $(TARGETPLATFORM)"         >> $(BIN_DIST_VARFILE)
 	echo "HADDOCK_DOCS = $(HADDOCK_DOCS)"             >> $(BIN_DIST_VARFILE)
+	echo "LATEX_DOCS = $(LATEX_DOCS)"                 >> $(BIN_DIST_VARFILE)
 	echo "INTEGER_LIBRARY = $(INTEGER_LIBRARY)"       >> $(BIN_DIST_VARFILE)
 	cat distrib/Makefile-bin-vars.in                  >> $(BIN_DIST_VARFILE)
 
@@ -468,7 +461,7 @@ binary-dist::
 
 ifeq "$(darwin_TARGET_OS)" "1"
 
-.PHONY: framework-pkg, framework-binary-dist
+.PHONY: framework-pkg framework-binary-dist
 
 framework-pkg:
 	$(MAKE) -C distrib/MacOS framework-pkg