diff options
| author | Karl Berry <karl@gnu.org> | 1997-07-14 17:43:41 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1997-07-14 17:43:41 +0000 |
| commit | eb4d510a748e68580eb29a3647dd51311e1c79cf (patch) | |
| tree | 8f20cf03005f10d4c6344f79e92a3aab6a4403b2 | |
| parent | c86587fb9b59f3dc17408101d47ef2c75e4b2764 (diff) | |
| download | gunmake-eb4d510a748e68580eb29a3647dd51311e1c79cf.tar.gz | |
(\indexdummies): Add \value.
| -rw-r--r-- | texinfo.tex | 1 |
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 } |