From 323fc84a67b0cc690d4d4fedc72e31268d422f04 Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Tue, 4 Jan 2011 03:35:38 +0000 Subject: [PATCH] Look in /usr/local/share/info for Info files in Edwin by default. This is where the doc/ makefile actually installs them by default. --- src/edwin/unix.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/edwin/unix.scm b/src/edwin/unix.scm index 833614284..cc3f45aed 100644 --- a/src/edwin/unix.scm +++ b/src/edwin/unix.scm @@ -679,7 +679,8 @@ option, instead taking -P ." (merge-pathnames ".newsrc" homedir))))) (define (os/info-default-directory-list) - (list "/usr/local/lib/info" + (list "/usr/local/share/info" + "/usr/local/lib/info" "/usr/local/info" "/usr/share/info" "/usr/info")) \ No newline at end of file -- 2.25.1