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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]