diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -80,6 +80,6 @@ dist: public: README.md TODOs.md CHANGELOG.md $(manpages) sh aux/workflow/public.sh Remembering $(NAME) public-inbox - for m in $(manpages); do groff -m man -Thtml $$m > public/`basename $$m`.html; done + for m in $(manpages); do troff -m man -Thtml $$m > public/`basename $$m`.html; done .PHONY: all clean check dev-check dist install uninstall |