summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2017-10-21 18:17:47 +0900
committerGitHub <noreply@github.com>2017-10-21 18:17:47 +0900
commit5de42c4c5023e31d0e4264c10e39acb564c098c9 (patch)
treeb0ea15f98225a3ac628f51165772bc6564d454e9 /Makefile
parent67981527a18e25a2aaf061cc470268b1074d235e (diff)
parentb90e58809fdb59d28ddded19d165fe38d57d5427 (diff)
downloadsphinx-git-5de42c4c5023e31d0e4264c10e39acb564c098c9.tar.gz
Merge pull request #4121 from stephenfin/remove-check-indent
utils: Remove the 'reindent' tool
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index e5a5fb305..5b3d5aad4 100644
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,7 @@ pylint:
.PHONY: reindent
reindent:
- @$(PYTHON) utils/reindent.py -r -n .
+ @echo "This target no longer does anything and will be removed imminently"
.PHONY: test
test: