comparison lisp/modes/tex-mode.el @ 4:b82b59fe008d r19-15b3

Import from CVS: tag r19-15b3
author cvs
date Mon, 13 Aug 2007 08:46:56 +0200
parents 376386a54a3c
children 0293115a14e9
comparison
equal deleted inserted replaced
3:30df88044ec6 4:b82b59fe008d
805 is provided, use the alternative command, tex-alt-dvi-print-command." 805 is provided, use the alternative command, tex-alt-dvi-print-command."
806 (interactive "P") 806 (interactive "P")
807 (let ((print-file-name-dvi (tex-append tex-print-file ".dvi")) 807 (let ((print-file-name-dvi (tex-append tex-print-file ".dvi"))
808 test-name) 808 test-name)
809 (if (and (not (equal (current-buffer) tex-last-buffer-texed)) 809 (if (and (not (equal (current-buffer) tex-last-buffer-texed))
810 (buffer-file-name)
811 ;; Check that this buffer's printed file is up to date.
810 (file-newer-than-file-p 812 (file-newer-than-file-p
811 (setq test-name (tex-append (buffer-file-name) ".dvi")) 813 (setq test-name (tex-append (buffer-file-name) ".dvi"))
812 print-file-name-dvi)) 814 (buffer-file-name)))
813 (setq print-file-name-dvi test-name)) 815 (setq print-file-name-dvi test-name))
814 (if (not (file-exists-p print-file-name-dvi)) 816 (if (not (file-exists-p print-file-name-dvi))
815 (error "No appropriate `.dvi' file could be found") 817 (error "No appropriate `.dvi' file could be found")
816 (tex-send-command 818 (tex-send-command
817 (if alt tex-alt-dvi-print-command tex-dvi-print-command) 819 (if alt tex-alt-dvi-print-command tex-dvi-print-command)