Bug#872868: Bug#877023: debian-policy: No section numbers in policy.txt.gz

2017-11-05 Thread Sean Whitton
Hello, On Fri, Nov 03 2017, Olly Betts wrote: > Perhaps for now it would be better to eschew Sphinx's text output and > actually generate policy.txt using w3m something like this: > > w3m policy-1.html > policy.txt > > That gives a text file with section numbers and the formatting seems > no wors

Bug#872868: Bug#877023: debian-policy: No section numbers in policy.txt.gz

2017-11-02 Thread Olly Betts
On Wed, Sep 27, 2017 at 06:43:41PM -0700, Russ Allbery wrote: > Olly Betts writes: > > /usr/share/doc/debian-policy/policy.txt.gz no longer has any section > > numbers, which makes it useless as a way to quickly locate a policy > > section to quote to someone as a reference. The plain text versio