--- a/build Wed Sep 21 21:00:57 2005 +0200
+++ b/build Wed Sep 21 21:01:27 2005 +0200
@@ -119,6 +119,7 @@
echo " ML_PLATFORM=$ML_PLATFORM"
echo
echo " ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
+ echo " HOL_USEDIR_OPTIONS=$HOL_USEDIR_OPTIONS"
fi