Update.
authordrepper <drepper>
Fri, 29 May 1998 09:03:23 +0000 (09:03 +0000)
committerdrepper <drepper>
Fri, 29 May 1998 09:03:23 +0000 (09:03 +0000)
commitdd60d99678f148960cfc3f897aade6772ac0797f
tree18a9cf9e21d298b97702ddc6a1edc78e2386d800
parentc5b95e112456c73ff94c0180f7a29434cf741cc3
Update.
manual/texinfo.tex