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 833614284b4709de5a70f63bae85eeeb7303170d..cc3f45aed9b55c6bc6857ba5dc6316d4fa4f60d2 100644 (file)
--- 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