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.

1 files changed, 19 insertions, 31 deletions

diff --git a/INSTALL b/INSTALL
index 7ab9d234..0b8b9815 100644
--- a/INSTALL
+++ b/INSTALL
@@ -5,32 +5,27 @@ OpenAxiom currenly requires a Lisp system for its runtime support.
 OpenAxiom is known to build with the GNU Common Lisp (GCL versions 2.6.7
 or 2.6.8), Steel Bank Common Lisp (SBCL version 1.0.22 or higher,
 except 1.0.29), CLisp (version 2.44.x or higher), and ECL (version
-0.9l or higher).  So, if you already have any of the above mentioned
-Lisp systems, your are good to go.  Otherwise, you would need to
-download a dependency tarball from OpenAxiom's download web site.  See
-instructions below.
+0.9l or higher), Clozure CL (version 1.3 or higher).  So, if you
+already have any of the above mentioned Lisp systems, your are good to
+go.  Otherwise, you would need to download a dependency tarball from
+OpenAxiom's download web site.  See instructions below.
 
-OpenAxiom needs `noweb' for extracting its source codes.  If you don't
-have running `noweb' utilities, you would need to either download the
-dependency tarball from OpenAxiom's download web site, or separately
-install them, and then proceed with configuration as detailed below.
+Note that a functional Lisp system (e.g. SBCL, GCL, CLisp, ECL, or
+Clozure CL) ir needed only to build OpenAxiom.  They are not needed
+once the system is installed. 
 
-Note that GCL or SBCL or CLisp, and `noweb' are needed only to build
-OpenAxiom.  They are not needed once the system is installed.
-
-Finally, you would need a working GNU C compiler.  It is also recommended
+Finally, you would need working C and C++ compilers -- you need
+compilers from GNU if you plan on using GCL.  It is also recommended
 that you install X11 development headers and libraries, especially
-Xpm.  Windows (MingW/MSYS) users do not need X11 components.  They
-still need a working GNU C compiler though.
+Xpm.  Windows (MingW/MSYS) users do not need X11 components. 
 
 Ah, one more note:  OpenAxiom requires GNU Make.
 
-1. Lisp and noweb prerequisites
-   ----------------------------
+1. Lisp prerequisite
+   -----------------
 
-If any of GCL or noweb is missing from your build environment, then
-you need to either separately install them, or download the dependency
-tarball 
+If you are missing a Lisp system, you need to get one, either
+separately install it, or download the dependency  tarball 
 
     open-axiom-1.3.x-dep.tar.bz2
 
@@ -38,12 +33,7 @@ from the SourceForge download site
 
 http://voxel.dl.sourceforge.net/sourceforge/open-axiom/open-axiom-1.3.x-dep.tar.bz2
 
-Please, notice that GCL and noweb are needed only to *build*
-OpenAxiom.  If you plan to build OpenAxiom often, then it probably is
-a good idea to separately build and install those tools once for all.
-
-
-If you already have GCL and noweb installed, please go to step 2.
+If you already have a Lisp system installed, please go to step 2.
 Note however that if you want to build OpenAxiom with the GCL from
 the dependency tarball (assuming you have unpacked it as explained
 in step 1.b.), and you have other Lisp systems available in the build 
@@ -69,9 +59,9 @@ named open-axiom-1.3.x.  Rename it to open-axiom-1.3.0, e.g.:
 It is assumed you have already downloaded open-axiom source tarball,
 e.g. open-axiom-1.3.0.tar.bz2.  
 
-Note: If you don't have GCL or noweb in the build environment, please
+Note: If you don't have a Lisp system in the build environment, please
 make sure that you have either followed the instructions in step 1.,
-or have separately installed them before proceeding.
+or have separately installed one before proceeding.
 
 2.a. Decompress the OpenAxiom source tarball
 
@@ -175,10 +165,8 @@ OpenAxiom build system requires GNU Make.  It might theoretically be
 possible to cram the Makefiles so that they can work with a large set 
 of Make programs.  However, doing so will not be cost effective.  GNU 
 Make has been ported to virtually any system current OpenAxiom can build
-one.  In particular, OpenAxiom uses GCL, which in turns requires GCC.
-GCC requires GNU Make.  GCL too requires GNU Make.  Consequently,
-the GNU Make requirement is not a stringent requirement.  It just
-reflects reality.
+one.  Consequently, the GNU Make requirement is not a stringent
+requirement.  It just reflects reality.
 
 So, if you're using a system where "make" is not GNU Make, then try
 "gmake" instead.