(tex-print): Call shell-quote-argument on the file name.
This commit is contained in:
parent
ecb2925bf0
commit
602503c5e2
1 changed files with 3 additions and 1 deletions
|
@ -1878,7 +1878,9 @@ is provided, use the alternative command, `tex-alt-dvi-print-command'."
|
|||
(tex-start-shell))
|
||||
(tex-send-command
|
||||
(if alt tex-alt-dvi-print-command tex-dvi-print-command)
|
||||
print-file-name-dvi t))))
|
||||
(shell-quote-argument
|
||||
print-file-name-dvi)
|
||||
t))))
|
||||
|
||||
(defun tex-alt-print ()
|
||||
"Print the .dvi file made by \\[tex-region], \\[tex-buffer] or \\[tex-file].
|
||||
|
|
Loading…
Add table
Reference in a new issue