193 |
(if (and makeinfo-temp-file (file-exists-p makeinfo-temp-file)) |
(if (and makeinfo-temp-file (file-exists-p makeinfo-temp-file)) |
194 |
(delete-file makeinfo-temp-file)) |
(delete-file makeinfo-temp-file)) |
195 |
;; Always use the version on disk. |
;; Always use the version on disk. |
196 |
(if (get-file-buffer makeinfo-output-file-name) |
(let ((buffer (get-file-buffer makeinfo-output-file-name))) |
197 |
(progn (set-buffer makeinfo-output-file-name) |
(if buffer |
198 |
(revert-buffer t t)) |
(with-current-buffer buffer |
199 |
(find-file makeinfo-output-file-name)) |
(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))) |
204 |
(goto-char (point-min))) |
(goto-char (point-min))) |
205 |
|
|
206 |
(defun makeinfo-buffer () |
(defun makeinfo-buffer () |