diff src/xterm.c @ 4981:e7fe9ea8e81c

(texinfo-texi2dvi-command): Separate `texi2dvi' command from `tex' command so `texinfo-format-region' can use straight `tex' command. (texinfo-format-buffer): Use `texinfo-texi2dvi-command' (texinfo-delete-from-print-queue): Revise documentation.
author Richard M. Stallman <rms@gnu.org>
date Thu, 11 Nov 1993 07:52:56 +0000
parents 09139fb51584
children 14f3c98a5cc1
line wrap: on
line diff