Make ext-core when making all in docs

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

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index 561b71b..bbc0530 100644 (file)
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -1,3 +1,7 @@
+TOP = ../..
+
+all: ps
+
 #      General makefile for Latex stuff
 
 LATEX=latex \\nonstopmode \\input
@@ -28,8 +32,9 @@ distclean: clean
 
 maintainer-clean: distclean
 
+include $(TOP)/mk/bindist.mk
+
 # dummy targets
-all:
 boot:
 install:
 install-docs: