Formatting change, define @pounds, etc.
authorKarl Berry <karl@gnu.org>
Fri, 6 Sep 1996 19:24:48 +0000 (19:24 +0000)
committerKarl Berry <karl@gnu.org>
Fri, 6 Sep 1996 19:24:48 +0000 (19:24 +0000)
commit474be527c80085dfdc48568f44e1359e5452c47e
tree2321191a0e5aaf56a892aa491ff320aa43cf01e3
parentacf51e02617b9b8da57b0ee982f96080ee954a38
Formatting change, define @pounds, etc.
manual/texinfo.tex