diff --git a/doc/Makefile.am b/doc/Makefile.am index ca18ae9f7..3a9e0a147 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -47,12 +47,15 @@ docimg_DATA = HTML/images/hierarchy.png SUBDOCS = refman vm hacking pp -all: $(DOCDB) +all: $(DOCDB) ../utils/stklos-pp for d in $(SUBDOCS); do (cd $$d; $(MAKE) $@); done extradoc: $(DOCDB) for d in $(SUBDOCS); do (cd $$d; $(MAKE) $@); done +../utils/stklos-pp: + (cd ../utils; $(MAKE) stklos-pp) + # # Database construction # diff --git a/doc/Makefile.in b/doc/Makefile.in index 910250d66..b4c702fba 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -693,12 +693,15 @@ uninstall-man: uninstall-man1 .PHONY: subdoc docdb extradoc -all: $(DOCDB) +all: $(DOCDB) ../utils/stklos-pp for d in $(SUBDOCS); do (cd $$d; $(MAKE) $@); done extradoc: $(DOCDB) for d in $(SUBDOCS); do (cd $$d; $(MAKE) $@); done +../utils/stklos-pp: + (cd ../utils; $(MAKE) stklos-pp) + # # Database construction #