[Axiom-developer] build-improvements and noweb

[Waldek Hebisch]

version 181 again broke build without noweb.  The following change
fixed the problem for me:

Index: Makefile.pamphlet
===================================================================
--- Makefile.pamphlet   (wersja 181)
+++ Makefile.pamphlet   (kopia robocza)
@@ -46,7 +46,10 @@
 
 .PHONY: all
 all: all-recursive
-all-ax: @axiom_required_build_utils@
+
+all-recursive: @axiom_required_build_utils@
+
+all-ax:
        @ echo 1 making a ${SYS} system, PART=${PART} SUBPART=${SUBPART}
        @ echo 2 Environment ${ENV}
        @ $(MAKE) stamp-rootdirs


-- 
                              Waldek Hebisch
address@hidden