diff src/intervals.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 4cbe6db1041e
children 64a07c3362f1
line wrap: on
line diff