On 11/08/2017 23:21, Hendrik Tews wrote: > +Upstream does not distribute the documentation in html format any > +more. The documentation could be build with topkg-care, but this is > +not yet packaged for Debian but even it were, it would introduce a > +circular build dependency. Maybe we have a separate documentation > +package for cmdliner at some day...
Did you try using dh_ocamldoc? It can be as easy as dropping an empty libcmdliner-ocaml-dev.ocamldoc into debian/... Cheers, -- Stéphane
