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 -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140828001058.gb20...@falafel.plessy.net