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

[Karl Berry]

    But, for me to consider it a solution, it would have to be run
    by packages in their post-installs, which means manual edits would
    be overwritten.

Am I understanding right?  You want `make install' for every package to
regenerate the dir node from scratch, based on *every installed info
file*?  I hope not ...

My assumption was that install-info would continue to just read
INFO-DIR-SECTION from the given file and install the given dir entries
in the given sections, and not try to look at any other info file.
That's what it (the GNU version) does now, and this seems right to me.

Maybe I'm not understanding what Debian install-info does.

    Maybe another idea:  keep a part of the file explicitly reserved
    for manual additions, delimit it with some markers.  

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, and it's not critical in my life to support it.  I doubt we need
to worry overmuch about manual editing.

Thanks,
karl