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

[Peter Palfrader]

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 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/

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

[Peter Palfrader]

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
-- 
|  .''`.   ** Debian **
  Peter Palfrader   | : :' :  The  universal
 https://www.palfrader.org/ | `. `'  Operating System
|   `-https://www.debian.org/