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. (And yeah, the lack of section numbers in the text output is definitely a regression that we'll need to fix.) > So while using it I noticed that it has been installed with an extremely > generic name, for something that is a global resource. I think it should > be renamed to debian-policy. Ack, yes, this is my fault. Will fix. -- Russ Allbery (r...@debian.org) <http://www.eyrie.org/~eagle/>