From: Taylor R Campbell <campbell@mumble.net>
Date: Tue, 4 Jan 2011 03:35:38 +0000 (+0000)
Subject: Look in /usr/local/share/info for Info files in Edwin by default.
X-Git-Tag: 20110426-Gtk~16
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=323fc84a67b0cc690d4d4fedc72e31268d422f04;p=mit-scheme.git

Look in /usr/local/share/info for Info files in Edwin by default.

This is where the doc/ makefile actually installs them by default.
---

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 <filename>."
 	  (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