diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-12 19:53:28 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-12 19:53:28 -0300 |
| commit | cf6aa4cb564d322a0eae701e13a2f3bfde4d6205 (patch) | |
| tree | fa86dc66e3491ede7a9542e51246fd8b613fab82 | |
| parent | TODOs.md: Add #task-1e18a7cc-1055-bd09-3060-c03292ba583b (diff) | |
| download | git-permalink-cf6aa4cb564d322a0eae701e13a2f3bfde4d6205.tar.gz git-permalink-cf6aa4cb564d322a0eae701e13a2f3bfde4d6205.tar.xz | |
Makefile: Actually generate manpages HTML
| -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 |