diff GETTING.GNU.SOFTWARE @ 1730:f79966ac4f9d

(texinfo-tex-command): Use texi2dvi. (texinfo-texindex, texinfo-texindex-command): Commented out.
author Richard M. Stallman <rms@gnu.org>
date Wed, 30 Dec 1992 08:14:01 +0000
parents 508bb8dd1e88
children 784262b28079
line wrap: on
line diff