diff options
| author | Lars Ingebrigtsen | 2019-07-09 01:27:33 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2019-07-09 03:44:13 +0200 |
| commit | 97190675c87375bfe1d92b29b01933f875033de7 (patch) | |
| tree | 9873bbba17b4951b72d7765003e907e4aedfadbe | |
| parent | cebea291d98aea89f681bd5454fac178b54039ba (diff) | |
| download | emacs-97190675c87375bfe1d92b29b01933f875033de7.tar.gz emacs-97190675c87375bfe1d92b29b01933f875033de7.zip | |
Mention {la,}tex-run-command in the TeX Print info node
* doc/emacs/text.texi (TeX Print): Mention {la,}tex-run-command,
too. Suggested by Sebastian Urban (bug#36400).
| -rw-r--r-- | doc/emacs/text.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/emacs/text.texi b/doc/emacs/text.texi index ffebf39f331..974f79d5232 100644 --- a/doc/emacs/text.texi +++ b/doc/emacs/text.texi | |||
| @@ -1777,7 +1777,8 @@ determined by the variable @code{tex-dvi-print-command}. The variable | |||
| 1777 | extension for viewing and printing @TeX{}-compiled files. For | 1777 | extension for viewing and printing @TeX{}-compiled files. For |
| 1778 | example, you can set it to @file{.pdf}, and update | 1778 | example, you can set it to @file{.pdf}, and update |
| 1779 | @code{tex-dvi-view-command} and @code{tex-dvi-print-command} | 1779 | @code{tex-dvi-view-command} and @code{tex-dvi-print-command} |
| 1780 | accordingly. | 1780 | accordingly, as well as @code{latex-run-command} or |
| 1781 | @code{tex-run-command}. | ||
| 1781 | 1782 | ||
| 1782 | Normally, Emacs automatically appends the output file name to the | 1783 | Normally, Emacs automatically appends the output file name to the |
| 1783 | shell command strings described in the preceding paragraph. For | 1784 | shell command strings described in the preceding paragraph. For |