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/
Reply to: