(bug-texinfo would have been appropriate for this, but anyway. :)

    in the uninstall target in my Makefile I use install-info --remove. This
    fails if the dir file is missing. I'd prefer if uninstall succeeds even
    if some files were never installed.

I agree.

    And in any case, I don't think install-info --remove should ever
    attempt to *create* a new dir file.

I agree.

Will see what we can do.

Thanks,
Karl

Reply via email to