Merge pull request #511 from return42/Makefile

[mod] Makefile - remove targets marked as deprecated
pull/512/head
Markus Heiser 3 years ago committed by GitHub
commit 08d6680414
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -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

Loading…
Cancel
Save