UndefinedError("'sphinx_version_info' is undefined") - Error in current master #1355
Description
Problem
This must have been introduced in #1345
Building for instance the Read the Docs user docs with the current theme gives this error:
building [mo]: targets for 0 po files that are out of date
building [html]: targets for 96 source files that are out of date
updating environment: [config changed ('version')] 97 added, 3 changed, 0 removed
reading sources... [100%] versions
looking for now-outdated files... none found
pickling environment... done
checking consistency... done
preparing documents... done
writing output... [ 1%] abandoned-projects
Theme error:
An error happened in rendering the page abandoned-projects.
Reason: UndefinedError("'sphinx_version_info' is undefined")
make: *** [Makefile:62: html] Error 2