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

Workaround to doc build error caused by sphinx-toolbox bug.

Browse Source 
See issue for details: https://github.com/sphinx-toolbox/sphinx-toolbox/issues/176

PiperOrigin-RevId: 717282405
Change-Id: I9e02804a3571fcca74eb7f174f3c3e262b0d3b65
This commit is contained in:
Yuval Tassa
2025-01-19 11:57:53 -08:00
committed by Copybara-Service
parent 1d47a91c19
commit f13c107cd7
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/requirements.txt
+3 -1
View File
@@ -6,7 +6,9 @@ sphinxcontrib-youtube==1.2.0
sphinx-copybutton==0.5.2
sphinx-favicon==1.0.1
sphinx-reredirects==0.1.1
sphinx-toolbox==3.4.0
# 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
nbsphinx==0.9.1
pandoc==1.1.0
pygments==2.15.0