Update.
authordrepper <drepper>
Tue, 30 Jun 1998 13:22:33 +0000 (13:22 +0000)
committerdrepper <drepper>
Tue, 30 Jun 1998 13:22:33 +0000 (13:22 +0000)
commitef6ea0f393f412cba0580907976de3a803a3ba9a
treecfee28cf67ac7e53af4160139b45d4006a76f89e
parent6ba40851825a88444b33a5c1c3d652417c661c2f
Update.
manual/texinfo.tex