diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-18 22:01:19 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-18 22:01:19 +0100 |
| commit | 15a9b745426dfdcab1138d65c1c2f715d37ab0cf (patch) | |
| tree | 19f36f52dc2bef006b6dd347c00ff902b52bfdc2 /Makefile | |
| parent | Add an alt attribute to the header image (diff) | |
Disable `custom-entry-overriden' warning of Coq
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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} |