(\indexdummies): Add \value.

diff --git a/texinfo.tex b/texinfo.tex
index b575f47..e6fda96 100644 (file)
--- a/texinfo.tex
+++ b/texinfo.tex
@@ -2330,6 +2330,7 @@ width0pt\relax} \fi
 \def\kbd##1{\realbackslash kbd {##1}}%
 \def\dfn##1{\realbackslash dfn {##1}}%
 \def\emph##1{\realbackslash emph {##1}}%
+\def\value##1{\realbackslash value {##1}}%
 \unsepspaces
 }