comparison man/mini.texi @ 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 de2f745df406
children 5be168598322
comparison
equal deleted inserted replaced
42511:4fcd61c30d0a 42512:07a33bb87f3a