From fe323b639daec196157d1bad9df405df5e661382 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Wed, 16 Jun 2021 15:36:57 -0300
Subject: Makefile: Add $(manpages) as a dependency of the "public" target

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6cc5516..8ebd1fb 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ clean:
 dist:
 	sh aux/workflow/dist.sh $(DATE) $(VERSION) $(NAME)
 
-public: README.md TODOs.md CHANGELOG.md
+public: README.md TODOs.md CHANGELOG.md $(manpages)
 	sh aux/workflow/public.sh $(NAME) $(NAME) $(MAILING_LIST)
 	for m in $(manpages); do $(do_subst) < $$m | pandoc -s -r man -w html > public/`basename $$m`.html; done
 
-- 
cgit v1.2.3