fix infopath

* bba.org: Adjust Info-directory-list according to INFOPATH env

diff --git a/bba.org b/bba.org
index f9cbd0c64ff7a1dc81e77e5cb3172e5c7f706101..efb1ff6393f6e69f44324e7d35620e9dffb6d22e 100644 (file)
--- a/bba.org
+++ b/bba.org
@@ -173,7 +173,9 @@ from bash.
               (setenv "https_proxy" path)
               )
             (let ((infopath (shell-command-to-string ". ~/.bashrc 2>/dev/null >/dev/null; echo -n $INFOPATH")))
-              (setenv "INFOPATH" infopath))
+              (setenv "INFOPATH" infopath)
+              (setq Info-directory-list
+                    (append (mapcar #'expand-file-name (split-string-and-unquote infopath ":")) Info-directory-list)))
             (let ((manpath (shell-command-to-string ". ~/.bashrc 2>/dev/null >/dev/null; manpath")))
               (setenv "MANPATH" manpath))
             (push "/opt/local/share/info" Info-directory-list)))