diff options
| author | Richard M. Stallman | 1995-01-05 00:23:50 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1995-01-05 00:23:50 +0000 |
| commit | 45c3304d43324cfcddea085820ed8a1b78784496 (patch) | |
| tree | 344c82d5208b6aa0ff7fd319035b3e7318103994 | |
| parent | 6b552283ca1bcddec62f572d48e1d25faa64d2d0 (diff) | |
| download | emacs-45c3304d43324cfcddea085820ed8a1b78784496.tar.gz emacs-45c3304d43324cfcddea085820ed8a1b78784496.zip | |
(tex-print): Better check for when to print current
buffer's file over last processed file.
| -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") |