|
From: | Karl Berry |
Subject: | Re: (info browser) Should any default directories be used when INFOPATH is set? |
Date: | Sun, 06 Apr 2014 15:31:38 -0600 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |