1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 8ebd1fb..38867c4 100644
--- a/Makefile
+++ b/Makefile
@@ -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