diff options
| -rw-r--r-- | man/text.texi | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/man/text.texi b/man/text.texi index 3660901a83d..07ccac4b9a5 100644 --- a/man/text.texi +++ b/man/text.texi | |||
| @@ -1596,9 +1596,7 @@ directory, such as @code{"/tmp"}. | |||
| 1596 | you can do so by setting the values of the variables @code{tex-run-command}, | 1596 | you can do so by setting the values of the variables @code{tex-run-command}, |
| 1597 | @code{latex-run-command}, @code{slitex-run-command}, | 1597 | @code{latex-run-command}, @code{slitex-run-command}, |
| 1598 | @code{tex-dvi-print-command}, @code{tex-dvi-view-command}, and | 1598 | @code{tex-dvi-print-command}, @code{tex-dvi-view-command}, and |
| 1599 | @code{tex-show-queue-command}. You @emph{must} set the value of | 1599 | @code{tex-show-queue-command}. The default values may |
| 1600 | @code{tex-dvi-view-command} for your particular terminal; this variable | ||
| 1601 | has no default value. The other variables have default values that may | ||
| 1602 | (or may not) be appropriate for your system. | 1600 | (or may not) be appropriate for your system. |
| 1603 | 1601 | ||
| 1604 | Normally, the file name given to these commands comes at the end of | 1602 | Normally, the file name given to these commands comes at the end of |