diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2019-11-21 09:16:03 +0100 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2019-11-21 09:17:19 +0100 |
commit | 3d8e0b39f2c41e50c664847a3397c60ee883efd4 (patch) | |
tree | 45843e8f84972ec66d910bafd430a0a0e37c04e3 | |
parent | d0a597b34a0e39a7dd64cdf685f3147f147f52a4 (diff) | |
download | pylint-git-3d8e0b39f2c41e50c664847a3397c60ee883efd4.tar.gz |
Remove pylint/utils.py from the documentation build since it is not needed
-rw-r--r-- | doc/Makefile | 2 |
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 |