From ef6d755c944ef5af40c909c6683a3691dc9f6a57 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 21 Aug 2010 03:07:54 +0000
Subject: 	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.

---
 src/input/Makefile.pamphlet | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/input/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 \
-- 
cgit v1.2.3