From 4d613af55db94ee981aa32b163b5a20cefe8a652 Mon Sep 17 00:00:00 2001 From: Andreas Gerler Date: Wed, 4 Feb 2026 17:59:40 +0100 Subject: [PATCH] fix infopath * bba.org: Adjust Info-directory-list according to INFOPATH env --- bba.org | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bba.org b/bba.org index f9cbd0c6..efb1ff63 100644 --- 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))) -- 2.47.3