summaryrefslogtreecommitdiff
path: root/texinfo.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@gnu.org>1997-07-14 17:43:41 +0000
committerKarl Berry <karl@gnu.org>1997-07-14 17:43:41 +0000
commiteb4d510a748e68580eb29a3647dd51311e1c79cf (patch)
tree8f20cf03005f10d4c6344f79e92a3aab6a4403b2 /texinfo.tex
parentc86587fb9b59f3dc17408101d47ef2c75e4b2764 (diff)
downloadgunmake-eb4d510a748e68580eb29a3647dd51311e1c79cf.tar.gz
(\indexdummies): Add \value.
Diffstat (limited to 'texinfo.tex')
-rw-r--r--texinfo.tex1
1 files changed, 1 insertions, 0 deletions
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
}