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/doc | |
| 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/doc')
| -rw-r--r-- | src/doc/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in index 31b56941..e5af57bb 100644 --- a/src/doc/Makefile.in +++ b/src/doc/Makefile.in @@ -49,7 +49,11 @@ all-ax all-doc: stamp $(OUT)/help/%.help: $(IN)/help/%.help cp -p $< $@ -stamp: $(patsubst $(IN)/help/%.help,$(OUT)/help/%.help,$(HELPFILES)) +$(OUT)/gloss.text: $(IN)/gloss.text + cp -p $< $@ + +stamp: $(patsubst $(IN)/help/%.help,$(OUT)/help/%.help,$(HELPFILES)) \ + $(OUT)/gloss.text -rm -f stamp $(STAMP) stamp |