Stéphane Glondu <[email protected]> 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
