Falling back to pre-odoc.2.2.0 documentation page...

  • Depend on ppxlib instead of (now deprecated) ppx_core, ppx_driver and
    ppx_metaquot.

v0.10

Disallow documentation comments attached to opens.