(\indexdummies): Add \value.
authorKarl Berry <karl@gnu.org>
Mon, 14 Jul 1997 17:43:41 +0000 (17:43 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 14 Jul 1997 17:43:41 +0000 (17:43 +0000)
commiteb4d510a748e68580eb29a3647dd51311e1c79cf
tree8f20cf03005f10d4c6344f79e92a3aab6a4403b2
parentc86587fb9b59f3dc17408101d47ef2c75e4b2764
(\indexdummies): Add \value.
texinfo.tex