Enable sphinx-git, upgrade sphinx version

LivInTheLookingGlass · Jul 1, 2024 · a2da1e6 · a2da1e6
1 parent 2c59cb8
commit a2da1e6
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -27,7 +27,7 @@ help:
 .PHONY: help Makefile
 
 dependencies:
-	$(PIP) install -r requirements.txt $(USER_FLAG) $(PROXY_ARG)
+	$(PIP) install -r requirements.txt --upgrade $(USER_FLAG) $(PROXY_ARG)
 	cd ../python && $(MAKE) dependencies $(MFLAGS)
 
 # Catch-all target: route all unknown targets to Sphinx using the new

diff --git a/docs/index.rst b/docs/index.rst
@@ -22,8 +22,8 @@ Indices and tables
 * :ref:`modindex`
 * :ref:`search`
 
-.. Recent Changes
-.. ==============
+Recent Changes
+==============
 
-.. .. git_changelog::
-..     :revisions: 16
+.. git_changelog::
+    :revisions: 16
diff --git a/docs/javascript.rst b/docs/javascript.rst
@@ -11,4 +11,4 @@ Problems Solved
 .. toctree::
    :maxdepth: 1
 
-   javascript/p0001.rst
+..    javascript/p0001.rst
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,6 +1,6 @@
-sphinx
+sphinx>=3.1
 sphinx-rtd-theme
 sphinx-git
-sphinxcontrib-autojs
+sphinx-js
 sphinx-c-autodoc
 beautifulsoup4