X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=75106d99b5cbbfe6242cce72a9179a2bd07d9124;hb=ef2c2b9a7eec8c683961cda967f43cb9eaf0c23a;hp=c8be56282c3a4d35b322e9b410f7ea93bf27c3f0;hpb=26133989f1362077cc1deac80880279a8a306a39;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index c8be562..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)