summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2021-04-11 15:29:34 +0200
committerGitHub <noreply@github.com>2021-04-11 15:29:34 +0200
commitaf52033971eccecea47597ebbfaeac15773b3e1b (patch)
tree38b29bf4b2ef3edc58c7d916c9008c6e26d0cc33 /doc
parent5949e4805d932411985aeeb6e55b7c9be6ef2c21 (diff)
downloadpylint-git-af52033971eccecea47597ebbfaeac15773b3e1b.tar.gz
Rename copying to license and upgrade the setup.cfg (#4338)
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/exts/pylint_extensions.py2
-rwxr-xr-xdoc/exts/pylint_features.py2
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/exts/pylint_extensions.py b/doc/exts/pylint_extensions.py
index c06c90e08..824514be5 100755
--- a/doc/exts/pylint_extensions.py
+++ b/doc/exts/pylint_extensions.py
@@ -1,6 +1,6 @@
#!/usr/bin/env python
# Licensed under the GPL: https://www.gnu.org/licenses/old-licenses/gpl-2.0.html
-# For details: https://github.com/PyCQA/pylint/blob/master/COPYING
+# For details: https://github.com/PyCQA/pylint/blob/master/LICENSE
"""Script used to generate the extensions file before building the actual documentation."""
diff --git a/doc/exts/pylint_features.py b/doc/exts/pylint_features.py
index c70c454aa..e202f9880 100755
--- a/doc/exts/pylint_features.py
+++ b/doc/exts/pylint_features.py
@@ -1,6 +1,6 @@
#!/usr/bin/env python
# Licensed under the GPL: https://www.gnu.org/licenses/old-licenses/gpl-2.0.html
-# For details: https://github.com/PyCQA/pylint/blob/master/COPYING
+# For details: https://github.com/PyCQA/pylint/blob/master/LICENSE
"""Script used to generate the features file before building the actual documentation."""