Bug#872900: debian-policy: Very generic info file name
Guillem Jover <guillem@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 (rra@debian.org) <http://www.eyrie.org/~eagle/>
Reply to: