> --debug > --test I committed a trivial implementation of these two options in install-info. Best, karl