diff --git a/Makefile b/Makefile
index c98815195a..ea07bd2860 100644
--- a/Makefile
+++ b/Makefile
@@ -37,6 +37,11 @@ export ASTSPOOLDIR
 export ASTVARLIBDIR
 export ASTDATADIR
 export ASTLOGDIR
+export ASTLIBDIR
+export ASTMANDIR
+export ASTHEADERDIR
+export ASTBINDIR
+export ASTSBINDIR
 export AGI_DIR
 export ASTCONFPATH
 export NOISY_BUILD