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