diff src/casefiddle.c @ 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 4f138b03e5ab
children 952f2a18f83d
line wrap: on
line diff