diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | README.md | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -75,6 +75,6 @@ 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 groff -m man -Thtml $$m > public/`basename $$m`.html; done + 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 @@ -56,7 +56,7 @@ The documentation is available via installed manpages or online: [`remembering.1 Extra tools used for development are: - [fallible] and [Valgrind] for memory testing; - [ShellCheck] for validating scripts; -- [pandoc], groff and Perl for generating the documentation HTML and website. +- [pandoc] and Perl for generating the documentation HTML and website. [fallible]: https://fallible.euandreh.xyz [Valgrind]: https://valgrind.org |