From ef6d755c944ef5af40c909c6683a3691dc9f6a57 Mon Sep 17 00:00:00 2001 From: dos-reis 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. --- ChangeLog | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 34b609ad..384da487 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,15 @@ +2010-08-20 Gabriel Dos Reis + + 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. + 2010-08-18 Gabriel Dos Reis * config/open-axiom.m4 (OPENAXIOM_CPPFLAGS_FOR_VENDOR_LOCK_INS): -- cgit v1.2.3