diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-18 06:11:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-18 06:11:42 +0000 |
| commit | e865a85b43caa6f453304e836dae3b62ca73c635 (patch) | |
| tree | c0fc52edfcd7d0e5b4febdc251c24ba8a6b89608 /src/Makefile.pamphlet | |
| parent | 6ad3412bc13d3ae7a5f7f68260a90ae1bd536e03 (diff) | |
| download | open-axiom-e865a85b43caa6f453304e836dae3b62ca73c635.tar.gz | |
Fix SF/2757715
* Makefile.pamphlet (all-input): Make all-doc a requirement.
(all-doc): Tidy.
* doc/Makefile.in: Likewise. Install help files.
* doc/help: New. Home for help files.
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} |