aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRichard M. Stallman2001-12-30 19:33:13 +0000
committerRichard M. Stallman2001-12-30 19:33:13 +0000
commite04fd7a4ff581c3323f672e301894479ed4e3a3e (patch)
treec0d4fb20b41a93a81dcd0381c6331011c6d1fd42
parent7ad0c1c3217f7e2b47ebd07a2bec02a9e04f7685 (diff)
downloademacs-e04fd7a4ff581c3323f672e301894479ed4e3a3e.tar.gz
emacs-e04fd7a4ff581c3323f672e301894479ed4e3a3e.zip
(makeinfo-compilation-sentinel):
Display the output buffer in a more intelligent way.
-rw-r--r--lisp/textmodes/makeinfo.el12
1 files changed, 8 insertions, 4 deletions
diff --git a/lisp/textmodes/makeinfo.el b/lisp/textmodes/makeinfo.el
index 9370ee80894..b4857e0d143 100644
--- a/lisp/textmodes/makeinfo.el
+++ b/lisp/textmodes/makeinfo.el
@@ -193,10 +193,14 @@ command to gain use of `next-error'."
193 (if (and makeinfo-temp-file (file-exists-p makeinfo-temp-file)) 193 (if (and makeinfo-temp-file (file-exists-p makeinfo-temp-file))
194 (delete-file makeinfo-temp-file)) 194 (delete-file makeinfo-temp-file))
195 ;; Always use the version on disk. 195 ;; Always use the version on disk.
196 (if (get-file-buffer makeinfo-output-file-name) 196 (let ((buffer (get-file-buffer makeinfo-output-file-name)))
197 (progn (set-buffer makeinfo-output-file-name) 197 (if buffer
198 (revert-buffer t t)) 198 (with-current-buffer buffer
199 (find-file makeinfo-output-file-name)) 199 (revert-buffer t t))
200 (setq buffer (find-file-noselect makeinfo-output-file-name)))
201 (if (window-dedicated-p (selected-window))
202 (switch-to-buffer-other-window buffer)
203 (switch-to-buffer buffer)))
200 (goto-char (point-min))) 204 (goto-char (point-min)))
201 205
202(defun makeinfo-buffer () 206(defun makeinfo-buffer ()