diff options
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -49,5 +49,6 @@ dist: 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 .PHONY: all clean check dev-check dist install uninstall |