Make ext-core when making all in docs

diff --git a/docs/ext-core/Makefile b/docs/ext-core/Makefile
index 704cfc3..bbc0530 100644 (file)
--- a/docs/ext-core/Makefile
+++ b/docs/ext-core/Makefile
@@ -1,5 +1,7 @@
 TOP = ../..
 
+all: ps
+
 #      General makefile for Latex stuff
 
 LATEX=latex \\nonstopmode \\input
@@ -33,7 +35,6 @@ maintainer-clean: distclean
 include $(TOP)/mk/bindist.mk
 
 # dummy targets
-all:
 boot:
 install:
 install-docs: