diff --git a/Makefile b/Makefile index dfe14fe73..f2b0e3ba7 100644 --- a/Makefile +++ b/Makefile @@ -97,21 +97,10 @@ PHONY += $(MANAGE) $(MANAGE): $(Q)$(MTOOLS) $@ -# deprecated +# short hands of selected targets -PHONY += docs docs-clean docs-live docker themes +PHONY += docs docker themes docs: docs.html - $(Q)./manage build_msg WARN $@ is deprecated use docs.html - -docs-clean: docs.clean - $(Q)./manage build_msg WARN $@ is deprecated use docs.clean - -docs-live: docs.live - $(Q)./manage build_msg WARN $@ is deprecated use docs.live - docker: docker.build - $(Q)./manage build_msg WARN $@ is deprecated use docker.build - themes: themes.all - $(Q)./manage build_msg WARN $@ is deprecated use themes.all