Keep the list of html files to ignore up-to-date when building

1 files changed, 1 insertions, 0 deletions

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}