summaryrefslogtreecommitdiff
path: root/doc/user_guide/configuration
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2022-05-23 15:06:49 +0200
committerPierre Sassoulas <pierre.sassoulas@gmail.com>2022-05-24 08:52:32 +0200
commit23665988d7862577fb3390535c84a7c8aa1c29a9 (patch)
tree7c2d81bd5df182f63eaaec60a7f2739fe603516a /doc/user_guide/configuration
parentc04ba16727f171742ef7fa1e8c70b09fbfef5eb5 (diff)
downloadpylint-git-23665988d7862577fb3390535c84a7c8aa1c29a9.tar.gz
[doc] Add generated disclaimer in result of generated documentation
Diffstat (limited to 'doc/user_guide/configuration')
-rw-r--r--doc/user_guide/configuration/all-options.rst3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user_guide/configuration/all-options.rst b/doc/user_guide/configuration/all-options.rst
index fc68d5627..743e2acae 100644
--- a/doc/user_guide/configuration/all-options.rst
+++ b/doc/user_guide/configuration/all-options.rst
@@ -1,5 +1,8 @@
+.. This file is auto-generated. Make any changes to the associated
+.. docs extension in 'doc/exts/pylint_options.py'.
+
Standard Checkers:
^^^^^^^^^^^^^^^^^^