webdocs: add helper Makefile

Change-Id: I11a48b5b89c8d7b1798d3834f28bf63757b59f1d
Signed-off-by: Stephane Desneux <stephane.desneux@iot.bzh>

1 files changed, 30 insertions, 0 deletions

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..9d2b8e0
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,30 @@
+DOCBUILD=../doctools/webdocs/docbuild
+
+VERBOSE=--verbose
+
+all: help
+
+help: 
+	@echo "Usage:"
+	@echo "- make clean: clean all generated files"
+	@echo "- make build: build the site"
+	@echo "- make push: push the built site"
+	@echo "- make serve: serve the site"
+
+.PHONY: clean
+clean:
+	$(DOCBUILD) $(VERBOSE) --clean
+
+
+.PHONY: build
+build:
+	$(DOCBUILD) $(VERBOSE) --fetch --force --build
+
+.PHONY: push
+push:
+	$(DOCBUILD) $(VERBOSE) --fetch --force --build --push
+
+.PHONY: serve
+serve: 
+	$(DOCBUILD) $(VERBOSE) ---fetch --force --build --serve
+