# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 789265430 0
# Node ID f27bcd1faf07ff71e077a86957f8496848d2b203
# Parent  ef58c7a5a4d6b465e84ccc0bed41b02c72f95718
(tex-print): Better check for when to print current
buffer's file over last processed file.

diff -r ef58c7a5a4d6 -r f27bcd1faf07 lisp/textmodes/tex-mode.el
--- a/lisp/textmodes/tex-mode.el	Wed Jan 04 22:43:47 1995 +0000
+++ b/lisp/textmodes/tex-mode.el	Thu Jan 05 00:23:50 1995 +0000
@@ -1062,9 +1062,11 @@
   (let ((print-file-name-dvi (tex-append tex-print-file ".dvi"))
 	test-name)
     (if (and (not (equal (current-buffer) tex-last-buffer-texed))
+	     (buffer-file-name)
+	     ;; Check that this buffer's printed file is up to date.
 	     (file-newer-than-file-p
 	      (setq test-name (tex-append (buffer-file-name) ".dvi"))
-	      print-file-name-dvi))
+	      (buffer-file-name)))
 	(setq print-file-name-dvi test-name))
     (if (not (file-exists-p print-file-name-dvi))
         (error "No appropriate `.dvi' file could be found")