diff options
Diffstat (limited to 'guide/buildsys.html')
| -rw-r--r-- | guide/buildsys.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/guide/buildsys.html b/guide/buildsys.html index f2f394e..d881435 100644 --- a/guide/buildsys.html +++ b/guide/buildsys.html @@ -9,7 +9,7 @@ <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=d1102ebc" /> <link rel="stylesheet" type="text/css" href="_static/alabaster.css?v=12dfc556" /> <script src="_static/documentation_options.js?v=5929fcd5"></script> - <script src="_static/doctools.js?v=888ff710"></script> + <script src="_static/doctools.js?v=9a2dae69"></script> <script src="_static/sphinx_highlight.js?v=dc90522c"></script> <link rel="index" title="Index" href="genindex.html" /> <link rel="search" title="Search" href="search.html" /> @@ -705,7 +705,7 @@ build-time <code class="docutils literal notranslate"><span class="pre">${PYTHON </ul></li> </ul> </div> -<div id="searchbox" style="display: none" role="search"> +<search id="searchbox" style="display: none" role="search"> <h3 id="searchlabel">Quick search</h3> <div class="searchformwrapper"> <form class="search" action="search.html" method="get"> @@ -713,7 +713,7 @@ build-time <code class="docutils literal notranslate"><span class="pre">${PYTHON <input type="submit" value="Go" /> </form> </div> -</div> +</search> <script>document.getElementById('searchbox').style.display = "block"</script> @@ -731,7 +731,7 @@ build-time <code class="docutils literal notranslate"><span class="pre">${PYTHON ©2020, Michał Górny, license: CC BY 4.0. | - Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.2.6</a> + Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.3.7</a> & <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a> | |