summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2022-05-23 20:40:40 +0200
committerGitHub <noreply@github.com>2022-05-23 20:40:40 +0200
commit8d59af69529e89e7ad0871320374a8b6e4dbe86d (patch)
treeca01c06155e226a8cac5ed18df52571b1a182db5 /.gitignore
parent3e6000af9d4600598a3fe71d0053bbc6cac02887 (diff)
downloadpylint-git-8d59af69529e89e7ad0871320374a8b6e4dbe86d.tar.gz
Reorganize the documentation table of content (#6589)
* [doc] Reorganize the doc table of content with four levels User, developer, contributor, maintainer. Co-authored-by: Jacob Walls <jacobtylerwalls@gmail.com>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index ea96bb688..b23c8a5f5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,8 +17,8 @@ doc/user_guide/messages/fatal/
doc/user_guide/messages/information/
doc/user_guide/messages/refactor/
doc/user_guide/messages/warning/
-doc/technical_reference/extensions.rst
-doc/technical_reference/features.rst
+doc/user_guide/checkers/extensions.rst
+doc/user_guide/checkers/features.rst
doc/user_guide/configuration/all-options.rst
pyve
build-stamp