diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-27 04:16:39 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-27 04:16:39 +0000 |
| commit | 2eb54b1ef835e793963fce4138cc1d78e4f4883b (patch) | |
| tree | 8e8b364dc44fb618f5973a710a0fa215867d3c48 /src/Makefile.pamphlet | |
| parent | a6b14a62e4c347c6459d7aee6590581aff17f001 (diff) | |
| download | open-axiom-2eb54b1ef835e793963fce4138cc1d78e4f4883b.tar.gz | |
Fix SF/2781848
* interp/daase.lisp (make-databases): Build glossary files too.
* interp/br-data.boot (buildGloss): gloss.text now lives in doc/.
* interp/br-search.boot (grepSource): Likewise.
* interp/ht-root.boot (htGlossPage): Likewise.
* etc/Makefile.in (openaxiom_glossfiles): New.
(mostlyclean-local): Remove them too.
(stamp-databases): Now copy glossary files too.
* doc/Makefile.in ($(OUT)/gloss.text): New rule.
(stamp): Make it a prerequisite.
* Makefile.pamphlet (all-databases): Make all-doc a prerequisite.
(all-hyper-post): Likewise.
* doc/gloss.text: Resurect.
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 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 @ |