From f5dff4392a2551e9ae7634ecadccd53ec2158ac7 Mon Sep 17 00:00:00 2001
From: Kwankyu Lee <ekwankyu@gmail.com>
Date: Mon, 25 Apr 2022 13:46:48 +0900
Subject: [PATCH] Use jupyter-sphinx only for live doc

---
 src/sage/docs/conf.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/sage/docs/conf.py b/src/sage/docs/conf.py
index 04fc290065a..b56f7267828 100644
--- a/src/sage/docs/conf.py
+++ b/src/sage/docs/conf.py
@@ -24,10 +24,11 @@
               'sphinx.ext.todo',
               'sphinx.ext.extlinks',
               'IPython.sphinxext.ipython_directive',
-              'matplotlib.sphinxext.plot_directive',
-              'jupyter_sphinx']
+              'matplotlib.sphinxext.plot_directive']
 
 if os.environ.get('SAGE_LIVE_DOC', 'no')  == 'yes':
+    extensions.append('jupyter_sphinx')
+
     SAGE_JUPYTER_SERVER = os.environ.get('SAGE_JUPYTER_SERVER', 'binder')
     if SAGE_JUPYTER_SERVER == 'binder':
         jupyter_sphinx_thebelab_config = {