sage.sh: add new --disable-sagetex flag

diff --git a/sage.sh b/sage.sh
index 65d7ec352e91e26b89180d6898344cc76a2a5b52..6a807138f19c88a57220bc56b44a75c7d67c6b41 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -30,6 +30,7 @@ sage-configure() {
     --disable-doc \
     --disable-notebook \
     --disable-r \
+    --disable-sagetex \
     --with-system-asttokens=force \
     --with-system-attrs=force \
     --with-system-beniget=force \