summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2020-08-10 13:18:45 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2020-08-10 13:20:06 +0900
commit6cf1301c9e479bc886a237ece76d0b8ae8675a41 (patch)
treefa0e25dd266d12a292c4829dc1a9a43a40ef421c /Makefile
parentf916e1d5c88e9e1f9e3ef5f24a7b62553d92f6e3 (diff)
downloadsphinx-git-6cf1301c9e479bc886a237ece76d0b8ae8675a41.tar.gz
Remove pylint task
At present, pylint has no longer been used in this project. This removes the tasks and files for pylint from repository.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index d37d8546e..9cff012d4 100644
--- a/Makefile
+++ b/Makefile
@@ -64,10 +64,6 @@ type-check:
doclinter:
python utils/doclinter.py CHANGES *.rst doc/
-.PHONY: pylint
-pylint:
- @pylint --rcfile utils/pylintrc sphinx
-
.PHONY: test
test:
@$(PYTHON) -m pytest -v $(TEST)