diff etc/=MACHINES @ 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 0e1b3507ee15
children
line wrap: on
line diff