From a243c49807deefe2fbcf1fea5b9787a57f000bce Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Wed, 16 Jun 2021 20:43:48 -0300 Subject: Makefile: Remove .PHONY target --- Makefile | 2 -- 1 file changed, 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1049faf..a7a6a00 100644 --- a/Makefile +++ b/Makefile @@ -76,5 +76,3 @@ dist: clean public dev-check public: README.md TODOs.md CHANGELOG.md $(manpages) sh aux/workflow/public.sh Remembering $(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 -- cgit v1.2.3