Re: (info browser) Should any default directories be used when INFOPATH is set?

[Karl Berry]

    I've implemented this. It is accessible from the command line with
    "--variable infopath-no-defaults=On".

I saw.  Looks good.

    --init-file option [...] to specify the .info file to read.

Sounds very good.

Thanks,
Karl