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
..
index.rst	PDF documentation build	2019-10-11 03:51:38 +09:00
python-api.rst	[doc] change directive noindex to no-index	2024-08-29 17:27:23 +00:00
shell.rst	docs: Update docs to reflect deprecation status	2022-04-06 14:18:05 +01:00