Re: Using GNU's install-info in Debian instead of dpkg's install-info

[Eli Zaretskii]

> Date: Fri, 26 May 2006 18:33:18 -0500
> From: address@hidden (Karl Berry)
> Cc: address@hidden, address@hidden
> 
> Well, the manual changes I personally make are typically fixing packages
> which install themselves wrongly, so a separate part of the file
> wouldn't help.  However, I may be unusual in bothering to do such
> things

If you are unusual, it makes two of us ;-)

> I doubt we need to worry overmuch about manual editing.

Yes, but IMHO we should worry a little bit.