make: Remove deprecated targets

These have been deprecated for a while and can now be removed.

Some indentation is also fixed, while we're at it.

Signed-off-by: Stephen Finucane <stephen@that.guru>
This commit is contained in:
Stephen Finucane 2018-02-12 11:45:37 +00:00
parent 6cf0698b0c
commit 690714f4c4

View File

@ -63,18 +63,10 @@ clean-mypyfiles:
pylint:
@pylint --rcfile utils/pylintrc sphinx
.PHONY: reindent
reindent:
@echo "This target no longer does anything and will be removed imminently"
.PHONY: test
test:
@$(PYTHON) -m pytest -v $(TEST)
.PHONY: test-async
test-async:
@echo "This target no longer does anything and will be removed imminently"
.PHONY: covertest
covertest:
@$(PYTHON) -m pytest -v --cov=sphinx --junitxml=.junit.xml $(TEST)
@ -86,6 +78,6 @@ build:
.PHONY: docs
docs:
ifndef target
$(info You need to give a provide a target variable, e.g. `make docs target=html`.)
$(info You need to give a provide a target variable, e.g. `make docs target=html`.)
endif
$(MAKE) -C doc $(target)
$(MAKE) -C doc $(target)