diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 1 |
1 files changed, 1 insertions, 0 deletions
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@ |