aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1c4887c..1049faf 100644
--- a/Makefile
+++ b/Makefile
@@ -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