Install the gappy docs if SAGE_SPKG_INSTALL_DOCS=yes

Fetches the Python 3 objects.inv from the copy in the Sage sources.
sagemath · Feb 26, 2021 · 45eeb8f · 45eeb8f
1 parent 2be416a
commit 45eeb8f
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 1 deletion.
diff --git a/build/pkgs/gappy/dependencies b/build/pkgs/gappy/dependencies
@@ -1,4 +1,4 @@
-$(PYTHON) cysignals gap | $(PYTHON_TOOLCHAIN)
+$(PYTHON) cysignals gap | $(PYTHON_TOOLCHAIN) sphinx
 
 ----------
 All lines of this file are ignored except the first.

diff --git a/build/pkgs/gappy/spkg-postinst.in b/build/pkgs/gappy/spkg-postinst.in
@@ -0,0 +1,18 @@
+if [ "$SAGE_SPKG_INSTALL_DOCS" = "yes" ]; then
+    cd src/docs/
+
+    # write conf.py override to give correct intersphinx mappings
+    mv conf.py orig_conf.py
+    cat >> conf.py <<_EOF_
+with open('orig_conf.py') as f:
+    exec(f.read())
+
+intersphinx_mapping.update({
+    'python': (intersphinx_mapping['python'][0],
+               '$SAGE_SRC/doc/common/python3.inv')
+})
+_EOF_
+
+    make html
+    sdh_install _build/html/* "$SAGE_SHARE/doc/gappy"
+fi
diff --git a/build/pkgs/gappy/spkg-postrm.in b/build/pkgs/gappy/spkg-postrm.in
@@ -0,0 +1,3 @@
+if [ -d "$SAGE_SHARE/doc/gappy" ]; then
+    rm -rf "$SAGE_SHARE/doc/gappy"
+fi