diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |