# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 864709365 0
# Node ID 51505698190056b7e39de7c91daa3b6c735a5ba0
# Parent  08bf89d739cd84c5bbd3d26b744bda801d985fad
(Info-exit): Use bury-buffer simply.

diff -r 08bf89d739cd -r 515056981900 lisp/info.el
--- a/lisp/info.el	Tue May 27 04:59:47 1997 +0000
+++ b/lisp/info.el	Tue May 27 05:02:45 1997 +0000
@@ -1213,8 +1213,7 @@
   (interactive)
   (if Info-standalone
       (save-buffers-kill-emacs)
-    (switch-to-buffer (prog1 (other-buffer (current-buffer))
-			(bury-buffer (current-buffer))))))
+    (bury-buffer)))
 
 (defun Info-next-menu-item ()
   (interactive)