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

2014-04-06 Thread 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

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

2014-04-06 Thread Gavin Smith
On Fri, Apr 4, 2014 at 11:10 PM, Karl Berry wrote: > Here's another idea: a command-line option (for convenience in the > tests) and .infokey variable (for convenience for users), e.g., > --infopath-no-default > infopath-no-default I've implemented this. It is accessible from the command line wit