Fix the ext-core doc in bindists

diff --git a/Makefile b/Makefile
index c8be562..75106d9 100644 (file)
--- 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)
 

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index b1baf4c..aae6c48 100644 (file)
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -44,6 +44,7 @@ distclean: clean
 
 maintainer-clean: distclean
 
+BINDIST_EXTRAS += core.ps.gz
 include $(TOP)/mk/bindist.mk
 
 # dummy targets