diff options
| author | Stephen Finucane <stephen@that.guru> | 2017-10-01 16:31:32 +0100 |
|---|---|---|
| committer | Stephen Finucane <stephen@that.guru> | 2017-10-05 17:13:59 +0100 |
| commit | b90e58809fdb59d28ddded19d165fe38d57d5427 (patch) | |
| tree | fe453e00279a76d9429885b9104f0a26389d704d /Makefile | |
| parent | ae08b2d7943239f60b3110b3d1bc3cd78c0c7014 (diff) | |
| download | sphinx-git-b90e58809fdb59d28ddded19d165fe38d57d5427.tar.gz | |
utils: Remove the 'reindent' tool
Nobody seems to be using this, probably because of the 'flake8' target,
and it hasn't been touched, some Python/flake8 updates aside in years.
Just remove it.
The Make target is not removed to both give us time to warn users that
the target is gone and, more importantly, to prevent merge conflicts
with other patches being submitted at the same time.
Signed-off-by: Stephen Finucane <stephen@that.guru>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -86,7 +86,7 @@ pylint: @pylint --rcfile utils/pylintrc sphinx reindent: - @$(PYTHON) utils/reindent.py -r -n . + @echo "This target no longer does anything and will be removed imminently" test: @cd tests; $(PYTHON) run.py --ignore py35 -v $(TEST) |