From a69a2cc1ffe4a0642a78468fe47b67e1c4fb2374 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Wed, 5 Feb 2020 21:47:57 +0100
Subject: Keep the list of html files to ignore up-to-date when building

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 7c52c0d..0f80d07 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,7 @@ COQCARGS   := -async-proofs-cache force
 
 build: ${POSTS}
 	soupault
+	scripts/update-gitignore.sh ${POSTS}
 
 clean:
 	rm -f ${POSTS}
-- 
cgit v1.2.3