From eb4d510a748e68580eb29a3647dd51311e1c79cf Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 14 Jul 1997 17:43:41 +0000 Subject: (\indexdummies): Add \value. --- texinfo.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/texinfo.tex b/texinfo.tex index b575f47..e6fda96 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 } -- cgit v1.2.3