From 6499807eec35fdedd84e4ee8ca4625c018652975 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 16 Aug 2007 23:40:29 +0000 Subject: * configure.ac.pamphlet: Don't error out if noweb source files are present when no executable is available. * configure.ac.: Regenerate. * configure: Likewise. * config/var-def.mk (axiom_build_nowebdir): Resurect. * Makefile.pamphlet (<>): Resurect. (clean-local): Remove noweb build dir too. * Makefile.in: Regenerate. --- config/var-def.mk | 1 + 1 file changed, 1 insertion(+) (limited to 'config/var-def.mk') diff --git a/config/var-def.mk b/config/var-def.mk index 2e56ac2d..874e3b8a 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -207,6 +207,7 @@ axiom_include_gcl = @axiom_include_gcl@ ## -- Files generated for the build machine -- ## ------------------------------------------- axiom_build_document = $(axiom_top_builddir)/scripts/document +axiom_build_nowebdir = $(axiom_builddir)/noweb TANGLE = @NOTANGLE@ WEAVE = @NOWEAVE@ -- cgit v1.2.3