diff src/s/unipl5-0.h @ 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 e442bb589751
children 507f64624555
line wrap: on
line diff