Re: texinfo-4.0: Crashes on Red Hat 6.1 system

[Karl Berry]

    Karl, do we need to support dir.info. dir.gz and the rest of the 
    extensions?  If we do, does it mean no Info file that is not a DIR file 
    can be called dir.info (i.e., the names `dir.info' and all its 
    compressed brethren are reserved)?

I think dir.gz should be supported.

I don't know what localdir's purpose is.  Brian?

I also don't know whether we need to support dir.info.  rms, bob?
I've never used it myself.

Thanks,