changeset 3225:1544ad5c9f99

(Info-insert-dir): Ignore duplicate directories.
author Richard M. Stallman <rms@gnu.org>
date Fri, 28 May 1993 23:57:33 +0000
parents 6be8f63060b3
children bc4beddaf2c7
files lisp/info.el
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/info.el	Fri May 28 22:31:52 1993 +0000
+++ b/lisp/info.el	Fri May 28 23:57:33 1993 +0000
@@ -313,7 +313,9 @@
 		      (find-file-noselect temp)))))
 	      (setq dirs-done
 		    (cons (file-truename (expand-file-name (car dirs)))
-			  dirs-done))
+			  (cons (directory-file-name
+				 (file-truename (expand-file-name (car dirs))))
+				dirs-done)))
 	      (if buffer (setq buffers (cons buffer buffers)))))
 	(setq dirs (cdr dirs)))