Elod Illes bc7db06629 [doc] change directive noindex to no-index ... Due to a bug in Sphinx [1], the ':noindex:' flag is currently broken for the 'module' directive. Workaround it by replacing it with the ':no-index' flag, which is what we'll need come Sphinx 9.x anyway. [1] https://github.com/sphinx-doc/sphinx/issues/12843 Change-Id: If3fa5c51b566ea0144acf84d186ce12c8127c9a8		2024-08-29 17:27:23 +00:00
..
_extra	docs: Add redirects	2018-09-24 15:18:06 +01:00
cli	docs: Update docs to reflect deprecation status	2022-04-06 14:18:05 +01:00
contributor	Replace old URLs with new ones	2022-06-24 08:38:31 +00:00
reference	PDF documentation build	2019-10-11 03:51:38 +09:00
user	[doc] change directive noindex to no-index	2024-08-29 17:27:23 +00:00
conf.py	Add link to PDF document	2020-05-18 18:19:47 +02:00
index.rst	docs: Update docs to reflect deprecation status	2022-04-06 14:18:05 +01:00