Merge pull request #8732 from tk0miya/refactor_documentation_options

refactor: html theme: Insert documentation_options.js via script_files
This commit is contained in:
Takeshi KOMIYA
2021-01-24 14:00:13 +09:00
committed by GitHub
3 changed files with 6 additions and 3 deletions

View File

@@ -25,6 +25,8 @@ Incompatible changes
:confval:`man_make_section_directory`)
* #8380: html search: search results are wrapped with ``<p>`` instead of
``<div>``
* html theme: Move a script tag for documentation_options.js in
basic/layout.html to ``script_files`` variable
* html theme: Move CSS tags in basic/layout.html to ``css_files`` variable
* #8508: LaTeX: uplatex becomes a default setting of latex_engine for Japanese
documents