Guillem Jover <guil...@debian.org> writes: > 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. :/ 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.
Fixed in Git. Thanks! -- Russ Allbery (r...@debian.org) <http://www.eyrie.org/~eagle/>