diff options
| author | Ian Lynagh <ian@well-typed.com> | 2013-03-02 00:05:22 +0000 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2013-03-02 00:05:22 +0000 |
| commit | 01ac518a5970f7cf63991dd914c5580242166249 (patch) | |
| tree | bd2218f855c45f9891d5f4f679b54194b447fb5e | |
| parent | 116e5d2c617e7b48b65d9b28ceb7241fd4a258a6 (diff) | |
| download | haskell-01ac518a5970f7cf63991dd914c5580242166249.tar.gz | |
LATEX_DOCS is no longer used
| -rw-r--r-- | ghc.mk | 1 | ||||
| -rw-r--r-- | mk/config.mk.in | 3 |
2 files changed, 0 insertions, 4 deletions
@@ -986,7 +986,6 @@ unix-binary-dist-prep: "$(MKDIRHIER)" $(BIN_DIST_PREP_DIR) set -e; for i in packages LICENSE compiler ghc rts libraries utils docs libffi includes driver mk rules Makefile aclocal.m4 config.sub config.guess install-sh settings.in ghc.mk inplace distrib/configure.ac distrib/README distrib/INSTALL; do ln -s ../../$$i $(BIN_DIST_PREP_DIR)/; done echo "HADDOCK_DOCS = $(HADDOCK_DOCS)" >> $(BIN_DIST_MK) - echo "LATEX_DOCS = $(LATEX_DOCS)" >> $(BIN_DIST_MK) echo "BUILD_DOCBOOK_HTML = $(BUILD_DOCBOOK_HTML)" >> $(BIN_DIST_MK) echo "BUILD_DOCBOOK_PS = $(BUILD_DOCBOOK_PS)" >> $(BIN_DIST_MK) echo "BUILD_DOCBOOK_PDF = $(BUILD_DOCBOOK_PDF)" >> $(BIN_DIST_MK) diff --git a/mk/config.mk.in b/mk/config.mk.in index c3bb005008..a64ae30320 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -39,9 +39,6 @@ V = 1 NO_INCLUDE_DEPS = NO NO_INCLUDE_PKGDATA = NO -# Should we build latex docs? -LATEX_DOCS = NO - ################################################################################ # # Variables that control how the compiler itself is built |