Sync with texinfo.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 13 Aug 2003 05:07:54 +0000 (05:07 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 13 Aug 2003 05:07:54 +0000 (05:07 +0000)
commit5df72ffcf88a05d821c7684820aba8b5f5e63a5b
tree876fa3819aa702f9a671948ec1cdcd3bca0f2ecf
parent455b3a9a5e1861152fe403dea25636586d256544
Sync with texinfo.
config/texinfo.tex