diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/var-def.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/var-def.mk b/config/var-def.mk index 874e3b8a..ef7941ea 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -211,6 +211,9 @@ axiom_build_nowebdir = $(axiom_builddir)/noweb TANGLE = @NOTANGLE@ WEAVE = @NOWEAVE@ +## We export TANGLE and WEAVE for use in subshells, such as document. +export TANGLE +export WEAVE AXIOM_LISP = @AXIOM_LISP@ # Extension of the output file name returned by compile-file |