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

Merge pull request #4473 from tk0miya/4472_lost_documentation_options

Browse Source 
Fix #4472: DOCUMENTATION_OPTIONS is not defined
This commit is contained in:
Takeshi KOMIYA
2018-01-21 22:11:56 +09:00
committed by GitHub
parent 91873f09b8 0e5934b9ff
commit 24a4eab038
2 changed files with 1 additions and 0 deletions
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 classmethods as regular methods
* #4415: autodoc classifies inherited staticmethods as regular methods * #4415: autodoc classifies inherited staticmethods as regular methods
* #4472: DOCUMENTATION_OPTIONS is not defined
Testing Testing
-------- --------

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