update from texinfo-3.9
authorJim Meyering <jim@meyering.net>
Wed, 9 Oct 1996 03:20:31 +0000 (03:20 +0000)
committerJim Meyering <jim@meyering.net>
Wed, 9 Oct 1996 03:20:31 +0000 (03:20 +0000)
commitc5c0528abe6f07a3ff370d8e56399c34d57c77ae
tree4054a6a25bece7ac09fff1d4fe65e4c35b51e639
parentfecbdd9ab156d3e35db86fd6ffb87251bb5bf05c
update from texinfo-3.9
doc/texinfo.tex