Oh! I was---almost---wrong!
There _is_ a bug obviously in the docs (generator configuration?).
Because the search results on "pylint.readthedocs.io" all include
links to "docs.pylint.org", thus redirecting requests to the
documentation index ("Pylint User Manual"). This issue has already
been reported at https://github.com/PyCQA/pylint/issues/1600
"Almost" wrong, because: A permanent redirect (including the address
path) would also cover that problem.
Peter
_______________________________________________
code-quality mailing list
code-quality@python.org
https://mail.python.org/mailman/listinfo/code-quality
