Skip to content

Latest commit

 

History

History
29 lines (20 loc) · 473 Bytes

DEVEL.md

File metadata and controls

29 lines (20 loc) · 473 Bytes

Build and test

source dev-env
topkg build   # or brzo -b
odig          # Uses a cache in /tmp/odig-cache

Publish sample to gh-pages

cd sample
./setup.sh
eval $(opam env)
./gen.sh
cd ..
topkg run publish

Working on themes

An easy way is to generate a representative docset and then:

mkdir -p $(opam var share)/odig.dev
ln -s $(pwd)/themes $(opam var share)/odig.dev/odoc-theme