IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix #4472: DOCUMENTATION_OPTIONS is not defined

Browse Source
This commit is contained in:
Takeshi KOMIYA 2018-01-21 21:02:07 +09:00
parent 91873f09b8
commit 0e5934b9ff
2 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGES
View File

@ -23,6 +23,7 @@ Bugs fixed
* #4415: autodoc classifies inherited classmethods as regular methods
* #4415: autodoc classifies inherited staticmethods as regular methods
* #4472: DOCUMENTATION_OPTIONS is not defined
Testing
--------

0
sphinx/themes/basic/documentation_options.js_t → sphinx/themes/basic/static/documentation_options.js_t
View File