On Wed, 18 Oct 2017 at 14:58:24 -0400, Jeremy Bicha wrote: > On Wed, Oct 18, 2017 at 2:43 PM, Simon McVittie <s...@debian.org> wrote: > > I don't think this is a policy violation: you're mixing up the nodoc > > build profile with the nodoc build option. > > Specifically, this is what I used in my test case where no packages are built. > sbuild -d unstable -A --no-arch-any --profiles nodoc
As far as I understand it, this is considered to have undefined behaviour (the package is not guaranteed to build, either correctly or at all) unless you also specify DEB_BUILD_OPTIONS=nodoc. > Do you have a reason why we should not remove that sentence from Debian > Policy? I have no particular objection to your proposal, I just don't think what you implemented in this package was a Policy violation (I did the same in ostree, and in the unreleased version of flatpak in collab-maint git). smcv