From 642fc15debef02a9a9a166d435ad862e8e4d64df Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Wed, 22 Dec 1999 02:41:18 +0000 Subject: [PATCH] Add "/usr/share/info" to INFO-DEFAULT-DIRECTORY-LIST. --- v7/src/edwin/unix.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/v7/src/edwin/unix.scm b/v7/src/edwin/unix.scm index a931403de..5a252297f 100644 --- a/v7/src/edwin/unix.scm +++ b/v7/src/edwin/unix.scm @@ -1,6 +1,6 @@ ;;; -*-Scheme-*- ;;; -;;; $Id: unix.scm,v 1.102 1999/12/06 21:08:37 cph Exp $ +;;; $Id: unix.scm,v 1.103 1999/12/22 02:41:18 cph Exp $ ;;; ;;; Copyright (c) 1989-1999 Massachusetts Institute of Technology ;;; @@ -666,4 +666,5 @@ option, instead taking -P ." (define (os/info-default-directory-list) (list "/usr/local/lib/info" "/usr/local/info" + "/usr/share/info" "/usr/info")) \ No newline at end of file -- 2.25.1