add doc targets to Makefile

mirage · Jan 6, 2018 · a2a5957 · a2a5957
1 parent 824663d
commit a2a5957
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -24,6 +24,21 @@ pkg-%:
 	cp -r _build/$*.* $(PACKAGES)/$*/
 	cd $(PACKAGES) && git add $*
 
+doc:
+	jbuilder build @doc
+
+publish-doc: doc
+	rm -rf .gh-pages
+	git clone `git config --get remote.origin.url` .gh-pages --reference .
+	git -C .gh-pages checkout --orphan gh-pages
+	git -C .gh-pages reset
+	git -C .gh-pages clean -dxf
+	cp -r _build/default/_doc/* .gh-pages/
+	git -C .gh-pages add .
+	git -C .gh-pages commit -m "Update Pages"
+	git -C .gh-pages push origin gh-pages -f
+	rm -rf .gh-pages
+
 all-supported-ocaml-versions:
 	jbuilder build @install @runtest --workspace jbuild-workspace.dev