1 files changed, 0 insertions, 2 deletions

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