diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-16 20:47:44 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-16 20:47:44 -0300 |
| commit | deb100a51cee57ec8d6a59c634c3d36e50b52018 (patch) | |
| tree | df0bb4e595236e874b9dd0cd9c065ac4b9e83376 | |
| parent | doc/git-permalink.1: Add period at the end of NAME (diff) | |
| download | git-permalink-deb100a51cee57ec8d6a59c634c3d36e50b52018.tar.gz git-permalink-deb100a51cee57ec8d6a59c634c3d36e50b52018.tar.xz | |
Makefile: Remove .PHONY target
| -rw-r--r-- | Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -51,5 +51,3 @@ dist: public: README.md TODOs.md CHANGELOG.md $(manpages) sh aux/workflow/public.sh $(NAME) $(NAME) $(MAILING_LIST) for m in $(manpages); do $(do_subst) < $$m | pandoc -s -r man -w html > public/`basename $$m`.html; done - -.PHONY: all clean check dev-check dist install uninstall |