summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2022-05-16 18:01:33 +0200
committerPierre Sassoulas <pierre.sassoulas@gmail.com>2022-05-18 14:54:06 +0200
commitcf33fcffa1b0c6d6de4ca64052dfc352f971d576 (patch)
tree1efe669f8eecaa231a116c23be861c33ae38f5f0 /.gitignore
parente9de33c37acf3afcc4a6acf5ec4d72810ad8dcab (diff)
downloadpylint-git-cf33fcffa1b0c6d6de4ca64052dfc352f971d576.tar.gz
[doc] Move all messages documentation to user_guide/messages
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore9
1 files changed, 8 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index b4fa458be..ea96bb688 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,14 @@
/pylint.egg-info/
.tox
*.sw[a-z]
-doc/messages/
+# Can't use | operator in .gitignore, see
+# https://unix.stackexchange.com/a/31806/189111
+doc/user_guide/messages/convention/
+doc/user_guide/messages/error/
+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/configuration/all-options.rst