From: Karl Berry <karl@gnu.org>
Date: Mon, 14 Jul 1997 17:43:41 +0000 (+0000)
Subject: (\indexdummies): Add \value.
X-Git-Tag: 3.75.1~4
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eb4d510a748e68580eb29a3647dd51311e1c79cf;p=thirdparty%2Fmake.git

(\indexdummies): Add \value.
---

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
 }