sage.sh: add --disable-notebook to sage-configure.

diff --git a/sage.sh b/sage.sh
index b0eff94bed645973cc9a364b3fbbb2a5da9d595b..4b87db06e87fa134a1c4aebe9ddb7e94b49da117 100644 (file)
--- a/sage.sh
+++ b/sage.sh
@@ -25,6 +25,7 @@ sage-configure() {
     --enable-download-from-upstream-url \
     --disable-r \
     --disable-cvxopt \
+    --disable-notebook \
     --with-system-arb=force \
     --with-system-boost_cropped=force \
     --with-system-brial=force \