1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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
|
