aboutsummaryrefslogtreecommitdiff
path: root/src/input
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-08-21 03:07:54 +0000
committerdos-reis <gdr@axiomatics.org>2010-08-21 03:07:54 +0000
commitef6d755c944ef5af40c909c6683a3691dc9f6a57 (patch)
tree6846c64d6b110b3f2263f5fcf7ef2d6152677c40 /src/input
parent3acb80d8039c289b5257af5eee8e31cca088590d (diff)
downloadopen-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')
-rw-r--r--src/input/Makefile.in4
-rw-r--r--src/input/Makefile.pamphlet4
2 files changed, 4 insertions, 4 deletions
diff --git a/src/input/Makefile.in b/src/input/Makefile.in
index acfdd10a..a845deab 100644
--- a/src/input/Makefile.in
+++ b/src/input/Makefile.in
@@ -514,13 +514,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 \
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 \