diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,5 +46,5 @@ dist: sh aux/workflow/dist.sh $(DATE) $(VERSION) $(NAME) $(NAME) $(MAILING_LIST) public: README.md TODOs.md CHANGELOG.md - sh aux/workflow/public.sh $(NAME) $(NAME) $(MAILING_LIST) + sh aux/workflow/public.sh $(NAME) $(NAME) $(MAILING_LIST) public sh aux/workflow/manpages.sh '$(TRANSLATIONS)' --html '' -- $(do_subst) |