diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2021-11-17 09:44:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-17 09:44:00 +0100 |
| commit | 08d66804140f860837c9a03d2c0bdedd78b6cd14 (patch) | |
| tree | 7cac10062c8d5e171c1f9f30d1687f61eb26319f /Makefile | |
| parent | 34aaac135baec5849220cdd9fe344d617b9aef7a (diff) | |
| parent | c6cd69180d19e9ad93d37860346378665b4afb49 (diff) | |
Merge pull request #511 from return42/Makefile
[mod] Makefile - remove targets marked as deprecated
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 2 insertions, 13 deletions
@@ -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 |