diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-10-21 18:17:47 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-21 18:17:47 +0900 |
commit | 5de42c4c5023e31d0e4264c10e39acb564c098c9 (patch) | |
tree | b0ea15f98225a3ac628f51165772bc6564d454e9 /Makefile | |
parent | 67981527a18e25a2aaf061cc470268b1074d235e (diff) | |
parent | b90e58809fdb59d28ddded19d165fe38d57d5427 (diff) | |
download | sphinx-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-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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: |