Re: updated cmdliner

[Hendrik Tews <hendrik@askra.de>]

Stéphane Glondu <glondu@debian.org> writes:

>> Apart from patching Makefile, the only
>> solution for excluding the opam file that I found, was to use
>> dh_install --exclude..., which in turn requires and
>> dh_auto_install in order to install in debian/tmp
> You could have also rm'ed the file after calling dh_auto_install.

Right. What is the DD recommendation here?
;-)

> About dh_missing: it requires debhelper (>= 10.3). Moreover, it should
> be called in an "override_dh_missing" target.

Thanks for the hints, I spend quite some time googling about
dh_missing, but I couldn't find any useful hints.

> Did you try using dh_ocamldoc? It can be as easy as dropping an empty
> libcmdliner-ocaml-dev.ocamldoc into debian/...

No, I haven't tried. I'll have a look.

Hendrik