docs: makefile to prepare docs to static page

ext · ext · commit 23e739814dfb · 2016-06-01T00:49:53.000+02:00
diff --git a/docs/Makefile b/docs/Makefile
@@ -0,0 +1,22 @@
+.PHONY: clean %.html
+
+FILES = \
+	dist/index.html \
+	dist/layout_table.html \
+	dist/layout_plain.html \
+	dist/layout_bootstrap.html \
+	dist/options.html
+
+all: $(FILES)
+
+clean:
+	@rm -rf dist
+
+dist:
+	@mkdir -p $@
+
+%.html: dist force-rebuild
+	@echo Writing $@
+	@php $(basename $(notdir $@)).php | sed -e 's/\.php/.html/g' -e 's#index\.html#/#' > $@
+
+force-rebuild:
