Update.
authordrepper <drepper>
Mon, 28 Jul 1997 21:55:24 +0000 (21:55 +0000)
committerdrepper <drepper>
Mon, 28 Jul 1997 21:55:24 +0000 (21:55 +0000)
commit45cb242f831e1e89c4f10c1b6f48df87ecc4e40c
tree1c231bcda9eec51683e69b1358b7206e7d51e6ac
parent80d72437be79246052cbdf985ecc3bc84ca46a0b
Update.
manual/texinfo.tex