diff ChangeLog @ 42512:07a33bb87f3a

Delete many TeX customizations, producing a style more consistent with our other manuals and eliminating TeX errors. Use @var instead of @i when appropriate. Fix utilization of @key.
author Richard M. Stallman <rms@gnu.org>
date Thu, 03 Jan 2002 23:38:47 +0000
parents 14a941a0ebdc
children 79601b0c7721
line wrap: on
line diff