On Sat, 14 Sep 2019, Charles Plessy wrote: > Le Sat, Sep 14, 2019 at 09:13:22AM +0000, 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 provide a version where everything is in one file. > > Hi Peter, > > please find it at: > > https://www.debian.org/doc/debian-policy/policy.txt > > Links for the different formats: > > https://www.debian.org/doc/devel-manuals#policy > > Have a nice week-end,
Thanks. Could this please be linked from https://www.debian.org/doc/debian-policy/ also, as this is the URL google actually has (and I wasn't the only one on IRC who didn't know of or find that text version). Cheers, -- | .''`. ** Debian ** Peter Palfrader | : :' : The universal https://www.palfrader.org/ | `. `' Operating System | `- https://www.debian.org/
