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

..

source

[doc] change directive noindex to no-index

2024-08-29 17:27:23 +00:00

test

docs: Add redirects

2018-09-24 15:18:06 +01:00

requirements.txt

Remove old excludes

2024-05-01 01:05:58 +00:00