update from master
authorJim Meyering <jim@meyering.net>
Wed, 2 Oct 2002 06:50:19 +0000 (06:50 +0000)
committerJim Meyering <jim@meyering.net>
Wed, 2 Oct 2002 06:50:19 +0000 (06:50 +0000)
commit42a19757aed2ccaf76c90f9e56eca72a805cbdc1
tree9918a8b935321d18bfd52c588268490a3e4ac0bb
parent0c0586bb2e1a8488e2292f198898cbdd9846d0ee
update from master
config/texinfo.tex