projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
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/
all: ps
install-docs:
-mkdir $(docdir)/ext-core
cp core.ps.gz $(docdir)/ext-core/
+else
+all:
+endif
# General makefile for Latex stuff
# General makefile for Latex stuff