comparison lisp/textmodes/makeinfo.el @ 42429:3bdd11464124

(makeinfo-compilation-sentinel): Display the output buffer in a more intelligent way.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Dec 2001 19:33:13 +0000
parents a19197c6442f
children 48b3aae63381
comparison
equal deleted inserted replaced
42428:84a1eb240549 42429:3bdd11464124
191 (defun makeinfo-compilation-sentinel (proc msg) 191 (defun makeinfo-compilation-sentinel (proc msg)
192 (compilation-sentinel proc msg) 192 (compilation-sentinel proc msg)
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 ()
203 "Make Info file from current buffer. 207 "Make Info file from current buffer.
204 208