# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1009740793 0
# Node ID 3bdd1146412434de3b9d5cb07694ca9bc7d96d41
# Parent  84a1eb24054983d3608d8dc6eeee3569905e4a90
(makeinfo-compilation-sentinel):
Display the output buffer in a more intelligent way.

diff -r 84a1eb240549 -r 3bdd11464124 lisp/textmodes/makeinfo.el
--- a/lisp/textmodes/makeinfo.el	Sun Dec 30 17:08:39 2001 +0000
+++ b/lisp/textmodes/makeinfo.el	Sun Dec 30 19:33:13 2001 +0000
@@ -193,10 +193,14 @@
   (if (and makeinfo-temp-file (file-exists-p makeinfo-temp-file))
       (delete-file makeinfo-temp-file))
   ;; Always use the version on disk.
-  (if (get-file-buffer makeinfo-output-file-name)
-      (progn (set-buffer makeinfo-output-file-name)
-	     (revert-buffer t t))
-    (find-file makeinfo-output-file-name))
+  (let ((buffer (get-file-buffer makeinfo-output-file-name)))
+    (if buffer
+	(with-current-buffer buffer
+	  (revert-buffer t t))
+      (setq buffer (find-file-noselect makeinfo-output-file-name)))
+    (if (window-dedicated-p (selected-window))
+	(switch-to-buffer-other-window buffer)
+      (switch-to-buffer buffer)))
   (goto-char (point-min)))
 
 (defun makeinfo-buffer ()