diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-22 10:30:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-22 10:30:56 +0200 |
commit | f522f6f4640283529f8d7e9101ce7ebec2b3a33f (patch) | |
tree | 170b2c40eeee70254255e0a209c0b85173b2a168 /doc/conf.py | |
parent | d24d5d9a732a5946c045d18fb27736d5b33b257d (diff) | |
download | pylint-git-f522f6f4640283529f8d7e9101ce7ebec2b3a33f.tar.gz |
Move c-extensions to user guides where it belong (#6659)
Co-authored-by: Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com>
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index f4e794cb1..3ba256dcb 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -61,6 +61,7 @@ redirects: dict[str, str] = { "messages/messages_introduction": "../user_guide/messages/index.html", "messages/messages_list": "../user_guide/messages/messages_overview.html", "user_guide/message-control": "messages/message_control.html", + "technical_reference/c_extensions": "../user_guide/c_extensions.html", } # Add any paths that contain templates here, relative to this directory. |