Don't build latex docs by default

[ghc-hetmet.git] / docs / ext-core / Makefile

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index 55eca3f..b1baf4c 100644 (file)
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -1,11 +1,15 @@
 TOP = ../..
 include $(TOP)/mk/boilerplate.mk
 
+ifeq "$(LATEX_DOCS)" "YES"
 all: ps
 
 install-docs:
        -mkdir        $(docdir)/ext-core
        cp core.ps.gz $(docdir)/ext-core/
+else
+all:
+endif
 
 #      General makefile for Latex stuff