On Sun, Jan 27, 2008 at 01:34:36PM -0600, Karl Berry wrote:
What this report really says to me is that the dir file was not correctly created by the Debian (or whatever) installation process.
Oh, without a doubt. The debian install-info routine (IIRC) predates the gnu install-info, and hasn't been updated to recognize certain directives in newer info files. It's a mess. Unfortunately, the gnu install-info isn't a drop in replacement for debian one, either.
Mike Stone -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
