From 59e316944e6ef56174f1b65f8996580770669914 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 12 Oct 2021 08:38:12 -0400
Subject: [PATCH] sage.sh: add --disable-notebook to sage-configure.

---
 sage.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sage.sh b/sage.sh
index b0eff94..4b87db0 100644
--- 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 \
-- 
2.43.2