DOCPATH=$(PWD)/_build/default/_doc/_html

.PHONY : publish_doc
publish_doc : odoc
	@git checkout gh-pages && cp -R $(DOCPATH)/* . && git commit -a --amend -mdocs && git push --force && git checkout -

.PHONY : publish_opam
publish_opam :
	@dune-release distrib --skip-lint && dune-release publish distrib && dune-release opam pkg && dune-release opam submit

.PHONY : doc
doc : odoc
	@echo "Documentation generated at file://$(DOCPATH)/index.html"

.PHONY : odoc
odoc :
	@dune build @doc
