chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix Sphinx-Toolbox dependency issue in documentation.

Browse Source 
PiperOrigin-RevId: 725818375
Change-Id: I9f241f9575d4bebceeab62937caf682e455b3816
This commit is contained in:
Yuval Tassa
2025-02-11 16:40:05 -08:00
committed by Copybara-Service
parent e3b9538d92
commit ef1ef8ef6a
2 changed files with 5 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/requirements.txt
+1 -3
View File
@@ -6,9 +6,7 @@ sphinxcontrib-youtube==1.2.0
sphinx-copybutton==0.5.2
sphinx-favicon==1.0.1
sphinx-reredirects==0.1.1
# TODO: b/390995275 - Bug in sphinx-toolbox, use Kevin's workaround until fixed.
sphinx-toolbox @ git+https://github.com/kevinzakka/sphinx-toolbox.git@gh-issue-fix
# sphinx-toolbox==3.4.0
sphinx-toolbox==3.8.2
nbsphinx==0.9.1
pandoc==1.1.0
pygments==2.15.0