diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-14 12:06:14 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-14 12:06:14 -0300 |
| commit | fd96f74ebe7032172dbae0056dc399f4bf4a6842 (patch) | |
| tree | 825b4cbde998cbe4c8f5983b08ee02c9568ff9bc /Makefile | |
| parent | doc/remembering.1: Better formatting of options (diff) | |
| download | remembering-fd96f74ebe7032172dbae0056dc399f4bf4a6842.tar.gz remembering-fd96f74ebe7032172dbae0056dc399f4bf4a6842.tar.xz | |
Makefile: Use pandoc over groff to generate HTML from manpages
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 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 |