summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-18 22:01:19 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-18 22:01:19 +0100
commit15a9b745426dfdcab1138d65c1c2f715d37ab0cf (patch)
tree19f36f52dc2bef006b6dd347c00ff902b52bfdc2
parent226d86be66a1b742ce6ace2ec1ca4762911c48f9 (diff)
Disable `custom-entry-overriden' warning of Coq
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
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}