New custom variable `tex-print-file-extension' to help users who use PDF instead...

* lisp/textmodes/tex-mode.el (tex-print-file-extension): New user
option.
(tex-print): Use it instead of the hard-coded string.

diff --git a/etc/NEWS b/etc/NEWS
index 3b7516dd8194f87b2242d128c28ad875d025d728..669b51ebb3872bf29c700ddc375f7cdec50507b8 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -163,6 +163,11 @@ reinclusion protected header files from being fully hidden.
 *** New custom variable `hide-ifdef-exclude-define-regexp' to define symbol
 name patterns (e.x. all "FOR_DOXYGEN_ONLY_*") to be excluded.
 
+** TeX mode
+
+*** New custom variable `tex-print-file-extension' to help users who
+use PDF instead of DVI.
+
 ** Obsolete packages
 
 ---

diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index 9bfcdb631c35b2393a9b85ad497e4f60c9f51c5f..502981d61791ca7171733aedef6489f7d5fc9d75 100644 (file)
--- a/lisp/ChangeLog
+++ b/lisp/ChangeLog
@@ -1,3 +1,9 @@
+2014-09-05  Sam Steingold  <sds@gnu.org>
+
+       * textmodes/tex-mode.el (tex-print-file-extension): New user
+       option.
+       (tex-print): Use it instead of the hard-coded string.
+
 2014-09-05  Michael Albinus  <michael.albinus@gmx.de>
 
        * net/tramp-sh.el (tramp-sh-handle-start-file-process):

diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el
index 18843bcd15a8f81b94396d0f056fb68b1d429891..2e2f412b99707d79705fc3cdd00dd30679036867 100644 (file)
--- a/lisp/textmodes/tex-mode.el
+++ b/lisp/textmodes/tex-mode.el
@@ -2573,18 +2573,28 @@ line LINE of the window, or centered if LINE is nil."
                      (prefix-numeric-value linenum)
                    (/ (window-height) 2)))))))
 
+(defcustom tex-print-file-extension ".dvi"
+  "The TeX-compiled file extension for viewing and printing.
+If you use pdflatex instead of latex, set this to \".pdf\" and modify
+ `tex-dvi-view-command' and `tex-dvi-print-command' appropriatelty."
+  :type 'string
+  :group 'tex-view
+  :version "24.5")
+
 (defun tex-print (&optional alt)
   "Print the .dvi file made by \\[tex-region], \\[tex-buffer] or \\[tex-file].
 Runs the shell command defined by `tex-dvi-print-command'.  If prefix argument
 is provided, use the alternative command, `tex-alt-dvi-print-command'."
   (interactive "P")
-  (let ((print-file-name-dvi (tex-append tex-print-file ".dvi"))
+  (let ((print-file-name-dvi (tex-append tex-print-file
+                                         tex-print-file-extension))
        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"))
+             (setq test-name (tex-append (buffer-file-name)
+                                          tex-print-file-extension))
              (buffer-file-name)))
        (setq print-file-name-dvi test-name))
     (if (not (file-exists-p print-file-name-dvi))