Bug#759186: debian-policy: please consider adding "nodoc" as a possible value for DEB_BUILD_OPTIONS to policy

[Johannes Schauer <j.schauer@email.de>]

Hi,

Quoting Russ Allbery (2014-08-27 17:21:05)
> This is back to the problem of ambiguity with changelog, copyright, etc.  Hm.
> How about:
> 
>     This tag says to skip any build steps that only generate package
>     documentation.  Required files such as copyright and changelog files must
>     still be generated and put in the package, but other generated
>     documentation such as help2man-generated pages, Doxygen-generated API
>     documentation, or info pages generated from Texinfo sources should be
>     skipped if possible.  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.

Maybe s/Required files/Files required by policy/ but otherwise I cannot come up
with a way to improve this version. Thanks for your input!

cheers, josch