diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 91a3704..04c5110 100644 --- a/Makefile.in +++ b/Makefile.in @@ -97,7 +97,7 @@ public: README.md TODOs.md CHANGELOG.md $(manpages) sh aux/workflow/TODOs.sh $(NAME_UC) $(NAME) $(MAILING_LIST) sh aux/workflow/README.sh $(NAME_UC) $(NAME) sh aux/workflow/commonmark.sh $(NAME_UC) CHANGELOG.md - sh aux/ci/report.sh $(NAME_UC) + sh aux/ci/report.sh $(NAME) for m in $(manpages); do groff -m man -Thtml $$m > public/`basename $$m`.html; done .PHONY: all clean check dev-check dist install uninstall |