X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=75106d99b5cbbfe6242cce72a9179a2bd07d9124;hb=f34f333be856e8437e232fa413a284752c0ca83a;hp=6946c4c716d5fec27d5cef3f47ad6d07c0d48ede;hpb=4a73af53332e94ca56a6faed96f8391c14ecfa18;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 6946c4c..75106d9 100644
--- a/Makefile
+++ b/Makefile
@@ -382,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)
 
@@ -460,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