Bug#879049: debian-policy: 4.9.1: Allow nodoc to be used to not create empty -doc packages

[Jeremy Bicha <jbicha@debian.org>]

On Wed, Oct 18, 2017 at 2:43 PM, Simon McVittie <smcv@debian.org> wrote:
> On Wed, 18 Oct 2017 at 14:16:48 -0400, Jeremy Bicha wrote:
>> This is technically a violation of Debian Policy 4.9.1 which has this wording
>> "This option does not change the set of binary packages generated by
>> the source package, but documentation-only binary packages may be
>> nearly empty when built with this option." [2]
>
> I don't think this is a policy violation: you're mixing up the nodoc
> build profile with the nodoc build option.

Thanks.

Specifically, this is what I used in my test case where no packages are built.
sbuild -d unstable -A --no-arch-any --profiles nodoc

Do you have a reason why we should not remove that sentence from Debian Policy?

Jeremy Bicha