Bug#940227: please provide the policy as one big file

On Sat, 14 Sep 2019, Charles Plessy wrote: > Le Sat, Sep 14, 2019 at 09:13:22AM +, Peter Palfrader a écrit : > > > > https://www.debian.org/doc/debian-policy/ is pretty and all, > > but it's really hard to grep in it since it's split into different files > > for each section. > > > > Please

Bug#940227: please provide the policy as one big file

Package: www.debian.org Severity: wishlist Hi! https://www.debian.org/doc/debian-policy/ is pretty and all, but it's really hard to grep in it since it's split into different files for each section. Please provide a version where everything is in one file. Cheers, weasel --