[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60762: 28.2; info--manual-names ignores Info-additional-directory-li
|
From: |
Eli Zaretskii |
|
Subject: |
bug#60762: 28.2; info--manual-names ignores Info-additional-directory-list |
|
Date: |
Fri, 13 Jan 2023 20:25:27 +0200 |
> From: Sean Devlin <spd@toadstyle.org>
> Date: Fri, 13 Jan 2023 12:45:20 -0500
> Cc: 60762@debbugs.gnu.org
>
> To answer your question, customizing Info-default-directory-list is
> one valid workaround. It does require some care to keep the default
> set of directories it generates, but this snippet seems to work:
>
> (custom-set-variables
> '(Info-default-directory-list
> (append Info-default-directory-list
> '("/path/to/my/info/files/"))))
Thanks.