Re: texinfo-5.1.90 pretest available

[Karl Berry]

    directories as in built-in defaults, but spelled in a different
    letter-case or with a different flavor of slashes.

Sure, feel free to commit.  I guess there should be a comment that
FILENAME_CMP (from system.h) isn't used because it doesn't merge
slashes.  As I understand it.

As for resolving symlinks, personally, I am unenthused about adding yet
more system-dependent complexity for such a small and arguable point.  I
won't object if you or Sergey or whomever want to do it, though.

Thanks,
karl