diff options
-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 |