aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephane Desneux <stephane.desneux@iot.bzh>2016-11-12 19:18:17 +0100
committerStephane Desneux <stephane.desneux@iot.bzh>2016-11-12 19:18:17 +0100
commit537c48c334739fc93916ee0099fc198725c76a5a (patch)
tree3f0536acae3ea1abf3cd63ab82e663c2e1331b99
parent97b7cfdddca17c76117dc1a10c6ecbefa5e194c2 (diff)
webdocs: add fetch operation to Makefile
Change-Id: I2f85db3a37c7d94780759c35c35f959edeea133f Signed-off-by: Stephane Desneux <stephane.desneux@iot.bzh>
-rw-r--r--Makefile11
1 files changed, 6 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index bd029ff..1321a4f 100644
--- a/Makefile
+++ b/Makefile
@@ -15,19 +15,20 @@ help:
clean:
$(DOCBUILD) $(VERBOSE) --clean
+.PHONY: fetch
+fetch:
+ $(DOCBUILD) $(VERBOSE) --fetch --force
.PHONY: build
-build:
- $(DOCBUILD) $(VERBOSE) --fetch --force
+build: fetch
$(DOCBUILD) $(VERBOSE) --build
.PHONY: push
-push:
- $(DOCBUILD) $(VERBOSE) --fetch --force
+push: fetch
$(DOCBUILD) $(VERBOSE) --build --push
.PHONY: serve
-serve:
+serve: fetch
$(DOCBUILD) $(VERBOSE) --fetch --force
$(DOCBUILD) $(VERBOSE) --build --serve