88aafa60e5
With Sphinx 1.5, this is needed by searchtools.js to display the source snippets (see sphinx-doc/sphinx#2454). With earlier Sphinx versions, this is a no-op because the undefined variable will evaluate to an empty string. |
||
|---|---|---|
| .. | ||
| layout.html | ||
| page.html | ||
| remove_heading.py | ||
| search.html | ||
| searchbox.html | ||
| sidebar-docs.html | ||
| theme.conf | ||