--- a/lisp/modes/tex-mode.el	Mon Aug 13 08:46:35 2007 +0200
+++ b/lisp/modes/tex-mode.el	Mon Aug 13 08:46:56 2007 +0200
@@ -807,9 +807,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")