diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | README.md | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -49,7 +49,7 @@ dist: sh aux/workflow/dist.sh $(DATE) $(VERSION) $(NAME) public: README.md TODOs.md CHANGELOG.md - sh aux/workflow/public.sh $(NAME) $(NAME) public-inbox - for m in $(manpages); do groff -m man -Thtml $$m > public/`basename $$m`.html; done + 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 @@ -59,7 +59,7 @@ The documentation is available via installed manpages or online: [`git-permalink Extratools used for development are: - [ShellCheck] for validating scripts; -- [pandoc], troff and Perl for generating the documentation HTML and website. +- [pandoc] and Perl for generating the documentation HTML and website. [ShellCheck]: https://www.shellcheck.net/ [pandoc]: https://pandoc.org/ |