2869 |
:group 'TeX-file-extension |
:group 'TeX-file-extension |
2870 |
:type 'string) |
:type 'string) |
2871 |
|
|
2872 |
(defvar TeX-output-extension "dvi" |
(defvar TeX-output-extension (if TeX-PDF-mode "pdf" "dvi") |
2873 |
"Extension of TeX output file. |
"Extension of TeX output file. |
2874 |
This is either a string or a list with |
This is either a string or a list with |
2875 |
a string as element. Its value is obtained from `TeX-command-output-list'. |
a string as element. Its value is obtained from `TeX-command-output-list'. |