Comment 2 for bug 886705

@Mathias: Packages need to install their docs into /usr/share/doc/<packagename>/, so /usr/share/doc/libgtkmm-3.0-doc/ is correct. So we indeed need to fix the .devhelp2 file.

@Murray: "make install" only installs into debian/tmp/, from where the various debian/<packagename.install> files grab files and distribute them into the various binary package directories. As that says "install debian/tmpusr/share/doc/gtkmm-3.0 into usr/share/doc/libgtkmm-3.0-doc", this explains the "out of sync".

So if we can configure the package to install the files into usr/share/doc/libgtkmm-3.0-doc right away, then the .install file can become simpler, and the .devhelp contents should be correct, too. Mathias, do you want to investigate this?