diff options
| -rw-r--r-- | lisp/textmodes/tex-mode.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el index 953b3d29ac7..3063d141bda 100644 --- a/lisp/textmodes/tex-mode.el +++ b/lisp/textmodes/tex-mode.el | |||
| @@ -1062,9 +1062,11 @@ is provided, use the alternative command, `tex-alt-dvi-print-command'." | |||
| 1062 | (let ((print-file-name-dvi (tex-append tex-print-file ".dvi")) | 1062 | (let ((print-file-name-dvi (tex-append tex-print-file ".dvi")) |
| 1063 | test-name) | 1063 | test-name) |
| 1064 | (if (and (not (equal (current-buffer) tex-last-buffer-texed)) | 1064 | (if (and (not (equal (current-buffer) tex-last-buffer-texed)) |
| 1065 | (buffer-file-name) | ||
| 1066 | ;; Check that this buffer's printed file is up to date. | ||
| 1065 | (file-newer-than-file-p | 1067 | (file-newer-than-file-p |
| 1066 | (setq test-name (tex-append (buffer-file-name) ".dvi")) | 1068 | (setq test-name (tex-append (buffer-file-name) ".dvi")) |
| 1067 | print-file-name-dvi)) | 1069 | (buffer-file-name))) |
| 1068 | (setq print-file-name-dvi test-name)) | 1070 | (setq print-file-name-dvi test-name)) |
| 1069 | (if (not (file-exists-p print-file-name-dvi)) | 1071 | (if (not (file-exists-p print-file-name-dvi)) |
| 1070 | (error "No appropriate `.dvi' file could be found") | 1072 | (error "No appropriate `.dvi' file could be found") |