Minor changes to footer

[ndcode_site.git] / sphinx.dir.jst
diff --git a/sphinx.dir.jst b/sphinx.dir.jst

index 0441cfb..39baefb 100644 (file)
--- a/sphinx.dir.jst
+++ b/sphinx.dir.jst
@@ -11,7 +11,7 @@ let serve_html = async (env, pathname) => {
    }
  
    // try to extract head before/after stylesheet and body
-  match = data.toString().match(/^<!DOCTYPE html><html xmlns="http:\/\/www\.w3\.org\/1999\/xhtml"><head><meta charset="utf-8">([^]*)<link rel="stylesheet" href="_static\/classic\.css" type="text\/css"><link rel="stylesheet" href="_static\/pygments\.css" type="text\/css"><script id="documentation_options" data-url_root="\.\/" src="_static\/documentation_options\.js"><\/script><script src="_static\/jquery\.js"><\/script><script src="_static\/underscore\.js"><\/script><script src="_static\/doctools\.js"><\/script><script src="_static\/language_data\.js"><\/script>([^]*)<\/head><body>([^]*)<\/body><\/html>\n?$/)
+  match = data.toString().match(/^<!DOCTYPE html><html xmlns="http:\/\/www\.w3\.org\/1999\/xhtml"><head><meta charset="utf-8">([^]*)<link rel="stylesheet" href="_static\/classic\.css" type="text\/css"><link rel="stylesheet" href="_static\/pygments\.css" type="text\/css"><script id="documentation_options" data-url_root="\.\/" src="_static\/documentation_options\.js"><\/script><script src="_static\/jquery\.js"><\/script><script src="_static\/underscore\.js"><\/script><script src="_static\/doctools\.js"><\/script><script src="_static\/language_data\.js"><\/script>(<script src="_static\/searchtools\.js"><\/script>)?([^]*)<\/head><body>([^]*)<\/body><\/html>\n?$/)
    //console.log('match', match)
    if (match === null) {
      // not found, just serve the HTML as fallback
@@ -33,12 +33,14 @@ let serve_html = async (env, pathname) => {
        script(src="/js/sphinx/underscore.js") {}
        script(src="/js/sphinx/doctools.js") {}
        script(src="/js/sphinx/language_data.js") {}
-      _out.push(match[2])
+      if (match[2] !== undefined)
+        script(src="/js/sphinx/searchtools.js") {}
+      _out.push(match[3])
      },
      // body
      async _out => {
        div.sphinx {
-        _out.push(match[3])
+        _out.push(match[4])
        }
      },
      // scripts