summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClaudiu Popa <pcmanticore@gmail.com>2019-11-21 09:16:03 +0100
committerClaudiu Popa <pcmanticore@gmail.com>2019-11-21 09:17:19 +0100
commit3d8e0b39f2c41e50c664847a3397c60ee883efd4 (patch)
tree45843e8f84972ec66d910bafd430a0a0e37c04e3
parentd0a597b34a0e39a7dd64cdf685f3147f147f52a4 (diff)
downloadpylint-git-3d8e0b39f2c41e50c664847a3397c60ee883efd4.tar.gz
Remove pylint/utils.py from the documentation build since it is not needed
-rw-r--r--doc/Makefile2
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 8d9480c87..9d8ba8335 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -140,14 +140,12 @@ doctest:
extensions.rst: exts/pylint_extensions.py
-extensions.rst: ../pylint/utils.py
extensions.rst: $(shell find ../pylint/extensions -type f -regex '.*\.py')
extensions.rst: $(shell find ../pylint/extensions -type f -regex '.*\.rst')
rm -f extensions.rst
PYTHONPATH=$(PYTHONPATH) $(PYTHON) ./exts/pylint_extensions.py
features.rst: exts/pylint_features.py
-features.rst: ../pylint/utils.py
features.rst: $(shell find ../pylint/checkers -type f -regex '.*\.py')
rm -f features.rst
PYTHONPATH=$(PYTHONPATH) $(PYTHON) ./exts/pylint_features.py