this repo has no description
at main 18 lines 204 B view raw
1 2#!/usr/bin/env bash 3 4set -e 5 6 7dune build @doc 8dune build @docgen 9 10cd ../_build/default/doc 11 12ocaml-mdx test driver.md 13 14cd ../../.. 15 16git checkout origin/gh-pages 17 18rsync -av _build/default/doc/html/odoc/ .