At the moment I am planning on just loading the first dir file found
    in each INFOPATH directory, although it shouldn't be too difficult
    to make it load all the versions.

    Is it probably the case that if more than one exists in each
    directory the repeated entries are just (un)compressed/different
    extension versions of the same file?

I'm not sure what would be the most common case, but I could certainly
imagine dir and dir.gz both existing and having nothing to do with each
other.

In any case, it seems like the right thing to do is read everything and
merge everything.  (Unfortunately info's merging code is suboptimal.)

Thanks,

Reply via email to