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

    From Olly Betts@21:1/5 to All on Wed Sep 27 22:40:02 2017
    XPost: linux.debian.bugs.dist

    Package: debian-policy
    Version: 4.1.0.0
    Severity: important

    /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 version is
    the easiest to search, so this is a really annoying regression.

    Cheers,
    Olly

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Olly Betts@21:1/5 to All on Wed Sep 27 23:10:03 2017
    XPost: linux.debian.bugs.dist

    Control: forcemerge 872868 877023

    Sorry, I failed to spot the existing report.

    Cheers,
    Olly

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Russ Allbery@21:1/5 to Olly Betts on Thu Sep 28 03:50:01 2017
    XPost: linux.debian.bugs.dist

    Olly Betts <olly@survex.com> 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 version is
    the easiest to search, so this is a really annoying regression.

    Yeah, this is a limitation of Sphinx that hopefully will be fixed. In the meantime, w3m to read the HTML version does work pretty well and supports search (plus has an index that makes it pretty fast to find particular sections). But I did the same thing you did, and definitely want to fix
    this sooner rather than later.

    --
    Russ Allbery (rra@debian.org) <http://www.eyrie.org/~eagle/>

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)