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

[Charles Plessy <plessy@debian.org>]

Le Wed, Aug 27, 2014 at 08:21:05AM -0700, Russ Allbery a écrit :
> 
> 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.

I was a bit worried that some source packages might actually use the nodoc
build option to process a control.in file and remove the doc packages, but a
quick inspection of a handful of examples suggests that it is not the case.

I think that the workding is very good, thanks to you and Johannes.  I second
it, including minor improvements such as the one proposed by Johannes. 

Cheers,

Charles

-- 
Charles Plessy
Tsurumi, Kanagawa, Japan