diff --git a/Makefile b/Makefile index 9fd4d06..86326c7 100644 --- a/Makefile +++ b/Makefile @@ -26,6 +26,11 @@ doc-common: build mkdir -p _build/docs rsync -auv docs/. _build/docs/. +doc-examples: build + mkdir -p _build/docs/examples + cp _build/default/examples/*.js _build/docs/examples/. + cp _build/default/examples/*.html _build/docs/examples/. + sphinx: doc-common sphinx-build sphinx ${SPHINX_TARGET} @@ -34,7 +39,7 @@ odoc: doc-common opam exec -- dune build @doc rsync -auv --delete _build/default/_doc/_html/. ${ODOC_TARGET} -doc: doc-common odoc sphinx +doc: doc-common doc-examples odoc sphinx view: xdg-open file://$$(pwd)/_build/docs/index.html diff --git a/docs/index.html b/docs/index.html index 9c4f63c..dd4e554 100644 --- a/docs/index.html +++ b/docs/index.html @@ -25,6 +25,7 @@