diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-08-21 03:07:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-08-21 03:07:54 +0000 |
| commit | ef6d755c944ef5af40c909c6683a3691dc9f6a57 (patch) | |
| tree | 6846c64d6b110b3f2263f5fcf7ef2d6152677c40 /src/input/Makefile.pamphlet | |
| parent | 3acb80d8039c289b5257af5eee8e31cca088590d (diff) | |
| download | open-axiom-ef6d755c944ef5af40c909c6683a3691dc9f6a57.tar.gz | |
External tool noweb is no longer required.
* INSTALL: Update instructions.
* Makefile.pamphlet: Remove rules for building noweb.
(AXIOM_SRC_TARGETS): Include all-utils.
* config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for
notangle and noweave.
* config/setup-dep.mk: Remove rules for generating document.
* config/var-def.mk: Remove NOTANGLE and NOWEAVE variables.
* configure.ac: Instantiate Makefile for src/utils.
Diffstat (limited to 'src/input/Makefile.pamphlet')
| -rw-r--r-- | src/input/Makefile.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet index 5a320d1c..d9747262 100644 --- a/src/input/Makefile.pamphlet +++ b/src/input/Makefile.pamphlet @@ -57,13 +57,13 @@ ${OUT}/%.input: %.input .PRECIOUS: %.input %.input: ${IN}/%.input.pamphlet - @$(axiom_build_document) --output=$@ --tangle $< + @$(oa_hammer) --output=$@ --tangle $< ${OUT}/%.as: %.as @cp -p $< $@ %.as: ${IN}/%.as.pamphlet - @ $(axiom_build_document) --output=$@ --tangle $< + @ $(oa_hammer) --output=$@ --tangle $< pamphlets = \ Makefile.pamphlet \ |