From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 28 Mar 2022 12:47:37 +0000 (-0400)
Subject: sage.sh: disable doc building by default.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=60cb2aa020387bf4d698f87dfd1c0cc62f7cab09;p=bash.d.git

sage.sh: disable doc building by default.
---

diff --git a/sage.sh b/sage.sh
index 8efd95d..77e7e6a 100644
--- a/sage.sh
+++ b/sage.sh
@@ -14,15 +14,20 @@ export SAGE_DEBUG=no
 #   * --enable-download-from-upstream-url: needed when adding new SPKGs
 #   * --disable-r: I don't really use R
 #   * --disable-cvxopt: I don't really use cvxopt
+#   * --disable-notebook: self-explanatory
+#   * --disable-doc: when I'm building sage just to use it, I don't want
+#                    to double the build time to get the HTML docs.
+#                    Override with "sage-configure --enable-doc".
 #   * --with-system-foo=force: ensure that the system packages I have
 #                              installed are actually used.
 #
 sage-configure() {
   ./configure \
     --enable-download-from-upstream-url \
-    --disable-r \
     --disable-cvxopt \
+    --disable-doc \
     --disable-notebook \
+    --disable-r \
     --with-system-arb=force \
     --with-system-boost_cropped=force \
     --with-system-brial=force \