# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738633453 0
# Node ID 1544ad5c9f99e837d1485ee6e6670cc0744b2599
# Parent  6be8f63060b332f10312e07fb2600d7b07731e5c
(Info-insert-dir): Ignore duplicate directories.

diff -r 6be8f63060b3 -r 1544ad5c9f99 lisp/info.el
--- 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)))