mirror of
git://git.sv.gnu.org/emacs.git
synced 2025-12-15 10:30:25 -08:00
(tex-bibtex-file, tex-send-tex-command):
Run the argument of tex-shell-cd-command through convert-standard-filename, to get the correct style of slashes on Windows, and enclose the result in quotes, in case the file name includes whitespace or other special characters.
This commit is contained in:
parent
40b388f98c
commit
966e49906b
2 changed files with 12 additions and 2 deletions
|
|
@ -1,3 +1,11 @@
|
|||
2005-08-20 Eli Zaretskii <eliz@gnu.org>
|
||||
|
||||
* textmodes/tex-mode.el (tex-bibtex-file, tex-send-tex-command):
|
||||
Run the argument of tex-shell-cd-command through
|
||||
convert-standard-filename, to get the correct style of slashes on
|
||||
Windows, and enclose the result in quotes, in case the file name
|
||||
includes whitespace or other special characters.
|
||||
|
||||
2005-08-19 Andreas Schwab <schwab@suse.de>
|
||||
|
||||
* progmodes/gud.el (gud-kill-buffer-hook): Don't kill unrelated
|
||||
|
|
|
|||
|
|
@ -1942,7 +1942,8 @@ FILE is typically the output DVI or PDF file."
|
|||
default-directory))))
|
||||
(not dir))
|
||||
(let (shell-dirtrack-verbose)
|
||||
(tex-send-command tex-shell-cd-command dir)))
|
||||
(tex-send-command tex-shell-cd-command
|
||||
(concat "\"" (convert-standard-filename dir) "\""))))
|
||||
(with-current-buffer (process-buffer (tex-send-command cmd))
|
||||
(setq compilation-last-buffer (current-buffer))
|
||||
(compilation-forget-errors)
|
||||
|
|
@ -2307,7 +2308,8 @@ Runs the shell command defined by `tex-show-queue-command'."
|
|||
(tex-out-file
|
||||
(tex-append (file-name-nondirectory (buffer-file-name)) ""))
|
||||
(file-dir (file-name-directory (buffer-file-name))))
|
||||
(tex-send-command tex-shell-cd-command file-dir)
|
||||
(tex-send-command tex-shell-cd-command
|
||||
(concat "\"" (convert-standard-filename file-dir) "\""))
|
||||
(tex-send-command tex-bibtex-command tex-out-file))
|
||||
(tex-display-shell))
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue