github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2025-01-30 22:30:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

(\indexdummies): Add \value.

Browse Source
This commit is contained in:
Karl Berry 1997-07-14 17:43:41 +00:00
parent c86587fb9b
commit eb4d510a74
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
texinfo.tex
View File

@ -2330,6 +2330,7 @@ width0pt\relax} \fi
\def\kbd##1{\realbackslash kbd {##1}}% \def\kbd##1{\realbackslash kbd {##1}}%
\def\dfn##1{\realbackslash dfn {##1}}% \def\dfn##1{\realbackslash dfn {##1}}%
\def\emph##1{\realbackslash emph {##1}}% \def\emph##1{\realbackslash emph {##1}}%
\def\value##1{\realbackslash value {##1}}%
\unsepspaces \unsepspaces
} }