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

[Karl Berry]

    question is: do we need to consider a case where `dir.info' is a
    normal Info file, not a DIR file with a top-level menu?

No.  We can assume it's a dir file if it exists.