Update omnidoc setup

Forward port of #58.