From eb4d510a748e68580eb29a3647dd51311e1c79cf Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@gnu.org>
Date: Mon, 14 Jul 1997 17:43:41 +0000
Subject: [PATCH] (\indexdummies): Add \value.

---
 texinfo.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/texinfo.tex b/texinfo.tex
index b575f475..e6fda96d 100644
--- 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
 }