Update.
authordrepper <drepper>
Wed, 7 May 1997 15:16:03 +0000 (15:16 +0000)
committerdrepper <drepper>
Wed, 7 May 1997 15:16:03 +0000 (15:16 +0000)
commitfd91eec84ed20daf1e285817ebc6a619c76831a0
treefc41d23a367967430e786b5396cd184e63ed9d51
parent73325c4128eb8e2c482042c9988100ca0d7c1d0e
Update.
manual/texinfo.tex