diff options
Diffstat (limited to 'src/Makefile.pamphlet')
| -rw-r--r-- | src/Makefile.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.pamphlet b/src/Makefile.pamphlet index eca2e764..296d3608 100644 --- a/src/Makefile.pamphlet +++ b/src/Makefile.pamphlet @@ -199,7 +199,7 @@ test input files are compared against known good results to ensure that nothing has been broken in the process of fixing bugs. <<inputdir>>= -all-input: all-axiomsys +all-input: all-axiomsys all-doc cd input && ${MAKE} @ @@ -227,7 +227,7 @@ The \File{doc/} directory contains code used for documenting Axiom. <<docdir>>= all-doc: - cd doc && $(MAKE) $@ + $(mkdir_p) "$(axiom_target_docdir)"/help && cd doc && $(MAKE) $@ @ \subsection{The \File{graph/} directory} |