Re: build profiles and functional differences

2018-01-09 Thread Simon McVittie
On Tue, 09 Jan 2018 at 22:47:07 +0100, Johannes Schauer wrote: > As by policy ยง12.3, removing (or changing) content from > /usr/share/doc should always be fine: > > | Packages must not require the existence of any files in /usr/share/doc/ in > | order to function. > > So by that logic gtk-doc d

Re: build profiles and functional differences

2018-01-09 Thread Johannes Schauer
Quoting Simon McVittie (2018-01-09 17:42:04) > On Tue, 09 Jan 2018 at 15:40:04 +, Wookey wrote: > > On 2018-01-09 15:07 +0100, Johannes Schauer wrote: > > > Thus, we keep packages built with a different build profile but the same > > > name/version/arcitecture bit-by-bit identical to each other

Re: build profiles and functional differences

2018-01-09 Thread Simon McVittie
On Tue, 09 Jan 2018 at 15:40:04 +, Wookey wrote: > On 2018-01-09 15:07 +0100, Johannes Schauer wrote: > > Thus, we keep packages built with a different build profile but the same > > name/version/arcitecture bit-by-bit identical to each other. > > However we do have 'nodoc', which can't possib