Re: questions about install-info
On Tue, 8 Sep 1998, Dale Scheetz wrote:
> On 8 Sep 1998, Manoj Srivastava wrote:
> > Not only are the interfaces different, *they do different things*.
> Then they should have different names!
> > Never the twain shall meet.
> They currently not only meet, but collide, in name space.
> This should be repaired. Just because it is dpkg, doesn't mean that it
> should be allowed to co-opt existing names or modify their process.
Renaming the debian-specific install-info to clear that name for the GNU
one sounds like the right thing to do. It will be messy to do the
renaming without breaking things, though. Lots of packages invoke the
debian-specific install-info by that name in preinst, postinst,
prerm, postrm scripts.