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.

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.

Since version 1.5.0, Sphinx is adding the source file extension to the source files it includes in the output folder.
For example, when your source file extension is `rst` (specified in the config variable `source_suffix` as `[.rst]`, your index file appears in the output's source folder as `index.rst.txt`.
If you use a Sphinx version lower than 1.5.0, it appears as `index.txt`.
Here's the link to the PR that introduces the breaking change: sphinx-doc/sphinx#2454.

The solution adjust the file name/suffix based on the Sphinx version:

* If you use Sphinx >=1.5, the file name will be filename + source_file_ending + ".txt".
* If you use Sphinx < 1.5, the file name will be filename + ".txt".

The changes also add aconfig option that allows forcing a fallback to 2).
This will help folks who use this extension for a long time and whose templates evolved accordingly.

Sphinx 1.5 introduced a problem explained in
sphinx-doc/sphinx#2454
that breaks the site search box.  This patch
(together with a conf.py patch in the zephyr repo
repairs things).

Jira: INF-136

Signed-off-by: David B. Kinder <[email protected]>

Sphinx 1.5 introduced a problem explained in
sphinx-doc/sphinx#2454
that breaks the site search box.  This patch
(together with a conf.py patch in the zephyr repo
repairs things).

Jira: INF-136

Signed-off-by: David B. Kinder <[email protected]>

Sphinx 1.5 introduced changes that broke the
sphinx-supplied search (as explained in
sphinx-doc/sphinx#2454)

This patch, along with a patch in the docs-theme
zephyrproject-rtos/docs-theme#10
repairs things.

Jira: INF-136

Signed-off-by: David B. Kinder <[email protected]>

Updates the bundled searchtools.js to the version shipped with sphinx
1.6.5.

The search looked for files called `name.txt`, but in sphinx 1.5 the
filename generation changed, so the files are called `name.rst.txt`
(because we use `.rst` as extension in `crate/crate`)

See aslo: sphinx-doc/sphinx#2454

Updates the bundled searchtools.js to the version shipped with sphinx
1.6.5.

The search looked for files called `name.txt`, but in sphinx 1.5 the
filename generation changed, so the files are called `name.rst.txt`
(because we use `.rst` as extension in `crate/crate`)

See aslo: sphinx-doc/sphinx#2454

Updates the bundled `searchtools.js` to the version shipped with sphinx
1.6.5.

The search looked for files called `name.txt`, but in sphinx 1.5 the
filename generation changed, so the files are called `name.rst.txt`
(because we use `.rst` as extension in `crate/crate`)

See also: sphinx-doc/sphinx#2454