I'm retitling this bug. Debian Policy 4.7.4 now has minimal documentation of DEB_BUILD_PROFILES. It only specifically describes nocheck and noinsttest.
Since nodoc is mentioned in the DEB_BUILD_OPTIONS section, I think it's important that Debian Policy be clear about how to use nodoc. Debian Policy provides some examples of DEB_BUILD_OPTIONS and DEB_BUILD_PROFILES but it's missing a nodoc example. Thank you, Jeremy Bícha

