Fabian Homborg 58885fbd0b docs: Handle undefined LINK_SUFFIX ... When building the docs with an old sphinx (like e.g. on Debian), this would break links in the search results. This happens because we've nabbed the searchtools.js from a sphinx to add our special handling of short builtins like "and", "end", "cd" (as part of #7757). I don't believe this will change *a lot* in practice, so it's probably still okay, but this hack is still worthwhile. See #7946		2021-04-25 09:42:02 +02:00
..
fish.png	Use the small lcd version of our logo	2020-10-04 11:05:48 +02:00
pydoctheme.css	docs: Make background at least one screen tall	2021-04-17 17:36:32 +02:00
pygments.css	docs: Move pygments css	2021-03-02 16:52:28 +01:00
searchtools.js	docs: Handle undefined LINK_SUFFIX	2021-04-25 09:42:02 +02:00