diff options
| author | Richard M. Stallman | 2002-12-22 22:03:22 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 2002-12-22 22:03:22 +0000 |
| commit | 602503c5e29aa32f67faf88695db29af9cc6457b (patch) | |
| tree | d6732dfc1c5a4c552495607bbf3b5ffc90719570 | |
| parent | ecb2925bf0c20a3ab0faacb48dfc072a10d0f2b5 (diff) | |
| download | emacs-602503c5e29aa32f67faf88695db29af9cc6457b.tar.gz emacs-602503c5e29aa32f67faf88695db29af9cc6457b.zip | |
(tex-print): Call shell-quote-argument on the file name.
| -rw-r--r-- | lisp/textmodes/tex-mode.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el index e5635777985..b1fd6568c31 100644 --- a/lisp/textmodes/tex-mode.el +++ b/lisp/textmodes/tex-mode.el | |||
| @@ -1878,7 +1878,9 @@ is provided, use the alternative command, `tex-alt-dvi-print-command'." | |||
| 1878 | (tex-start-shell)) | 1878 | (tex-start-shell)) |
| 1879 | (tex-send-command | 1879 | (tex-send-command |
| 1880 | (if alt tex-alt-dvi-print-command tex-dvi-print-command) | 1880 | (if alt tex-alt-dvi-print-command tex-dvi-print-command) |
| 1881 | print-file-name-dvi t)))) | 1881 | (shell-quote-argument |
| 1882 | print-file-name-dvi) | ||
| 1883 | t)))) | ||
| 1882 | 1884 | ||
| 1883 | (defun tex-alt-print () | 1885 | (defun tex-alt-print () |
| 1884 | "Print the .dvi file made by \\[tex-region], \\[tex-buffer] or \\[tex-file]. | 1886 | "Print the .dvi file made by \\[tex-region], \\[tex-buffer] or \\[tex-file]. |