aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6cc5516..8ebd1fb 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ clean:
dist:
sh aux/workflow/dist.sh $(DATE) $(VERSION) $(NAME)
-public: README.md TODOs.md CHANGELOG.md
+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