diff Makefile.in @ 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 1fd5c468b3da
children 22e3a08912b6
line wrap: on
line diff