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/etc/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/etc')

diff --git a/src/etc/Makefile.in b/src/etc/Makefile.in
index b642bda1..c06c0437 100644
--- a/src/etc/Makefile.in
+++ b/src/etc/Makefile.in
@@ -109,7 +109,7 @@ asq$(EXEEXT): $(asq_objects)
 
 
 asq.c: $(srcdir)/asq.c.pamphlet
-	$(axiom_build_document) --tangle --output=$@ $<
+	$(oa_hammer) --tangle --output=$@ $<
 
 $(axiom_target_libdir)/summary: $(srcdir)/summary
 	cp -p $< $@ 
-- 
cgit v1.2.3