diff make-dist @ 72477:96a11c5e874d

lispintro/texinfo.tex: changed to version 2006-02-13.16 to enable a DVI build using the more recent versions of TeX.
author Robert J. Chassell <bob@rattlesnake.com>
date Mon, 21 Aug 2006 14:39:46 +0000
parents ef43d43a40be
children 81a55a7dc3c3 138ce2701550
line wrap: on
line diff