Hi! On Tue, 2017-08-22 at 09:44:02 -0700, Russ Allbery wrote: > Guillem Jover <guil...@debian.org> writes: > > Package: debian-policy > > Version: 4.1.0.0 > > > While I'm not a very big fan of info files (even when using pinfo), > > it seems for now it's the only way to get section numbers w/o having > > to use a browser. :/ > > w3m works very well, FWIW.
Right, although when using a browser on a terminal I tend to use elinks/links, it's just that this is less convenient. :) In any, case I've just updated my deb-policy script to handle this for me :) for now: ,--- ~/bin/deb-policy --- #!/bin/sh base=/usr/share/doc/debian-policy if [ "$1" = '--upgrade' ]; then exec pager $base/upgrading-checklist.txt.gz elif [ -e $base/policy.html/objects.inv ]; then links -dump $base/policy.html/index.html | exec pager else exec pager $base/policy.txt.gz fi `--- Thanks, Guillem