From 15a9b745426dfdcab1138d65c1c2f715d37ab0cf Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Tue, 18 Feb 2020 22:01:19 +0100
Subject: Disable `custom-entry-overriden' warning of Coq

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9c6e87d..c24a187 100644
--- a/Makefile
+++ b/Makefile
@@ -3,9 +3,10 @@ ORG_POSTS  := $(shell find site/ -name "*.org")
 COQ_POSTS  := $(shell find site/ -name "*.v")
 INPUTS     := $(ORG_POSTS:.org=.html) $(COQ_POSTS:.v=.html) $(SASS:.sass=.css)
 
-COQCARGS   := -async-proofs-cache force
+COQCARGS   := -async-proofs-cache force -w -custom-entry-overriden
 
 build: ${INPUTS} soupault.conf
+	@echo "run soupault"
 	@soupault
 	@scripts/update-gitignore.sh ${INPUTS}
 
-- 
cgit v1.2.3