diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-05 21:52:05 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-05 21:52:25 +0100 |
commit | b0d001669e199f47a7220a3f33b33166f69b9f8b (patch) | |
tree | 842bd759ee459a42ea2fe8cbdef0929b91956c62 | |
parent | Small changes in MiniHTTPServer.v (diff) |
Make the output of `make` cleaner
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -5,8 +5,8 @@ POSTS := $(ORG_POSTS:.org=.html) $(COQ_POSTS:.v=.html) COQCARGS := -async-proofs-cache force build: ${POSTS} - soupault - scripts/update-gitignore.sh ${POSTS} + @soupault + @scripts/update-gitignore.sh ${POSTS} clean: rm -f ${POSTS} |