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}