summaryrefslogtreecommitdiff
path: root/gcc/texinfo.tex
diff options
context:
space:
mode:
authorkarl <karl@138bc75d-0d04-0410-961f-82ee72b054a4>1997-07-14 17:43:41 +0000
committerkarl <karl@138bc75d-0d04-0410-961f-82ee72b054a4>1997-07-14 17:43:41 +0000
commit628d861ca3954ae5e4a263fec94a69ef65645bbf (patch)
tree44412c6378d07e39a59964f4be701ee4a921f777 /gcc/texinfo.tex
parent7c8c323230ac40096ddb5c722aa7e2c8771ac071 (diff)
downloadgcc-628d861ca3954ae5e4a263fec94a69ef65645bbf.tar.gz
(\indexdummies): Add \value.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@14441 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/texinfo.tex')
-rw-r--r--gcc/texinfo.tex5
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/texinfo.tex b/gcc/texinfo.tex
index 88be6af2ea2..e68d15a5a73 100644
--- a/gcc/texinfo.tex
+++ b/gcc/texinfo.tex
@@ -1,5 +1,5 @@
%% TeX macros to handle Texinfo files.
-%% $Id: texinfo.tex,v 2.215 1997/07/10 01:23:38 rms Exp karl $
+%% $Id: texinfo.tex,v 2.216 1997/07/10 17:34:25 karl Exp karl $
% Copyright (C) 1985, 86, 88, 90, 91, 92, 93,
% 94, 95, 96, 97 Free Software Foundation, Inc.
@@ -36,7 +36,7 @@
% This automatically updates the version number based on RCS.
\def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}}
-\deftexinfoversion$Revision: 2.215 $
+\deftexinfoversion$Revision: 2.216 $
\message{Loading texinfo package [Version \texinfoversion]:}
% If in a .fmt file, print the version number
@@ -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
}