Bug#1053327: p11-kit: Please add nodoc build profile

[Andreas Metzler]

On 2023-10-01 Samuel Thibault <sthibault at debian.org> wrote:
> Package: p11-kit
> Version: 0.25.0-4
> Severity: important
> Tags: patch

> Hello,

> p11-kit's build-dependency on gtk-doc-tools introduces an ample
> dependency loop. This can be avoided by adding a nodoc profile, as the
> attached patch does (chmod +x debian/p11-kit.install is needed for
> dh-exec to work).

Hello,

I will simply use dh_installman instead of dh-exec.

cu Andreas