aboutsummaryrefslogtreecommitdiff
path: root/src/Makefile.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/Makefile.pamphlet')
-rw-r--r--src/Makefile.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.pamphlet b/src/Makefile.pamphlet
index 296d3608..d3a90eb9 100644
--- a/src/Makefile.pamphlet
+++ b/src/Makefile.pamphlet
@@ -215,10 +215,10 @@ all-asq: all-hyper-post
cd etc && $(MAKE) $@
.PHONY: all-databases
-all-databases: all-interpsys
+all-databases: all-interpsys all-doc
cd etc && $(MAKE) $@
-all-hyper-post: all-algebra
+all-hyper-post: all-algebra all-doc
cd hyper && $(MAKE) all-hyper-post
@