diff options
| author | Andreas Jaeger <aj@suse.de> | 2000-05-17 06:48:50 +0000 |
|---|---|---|
| committer | Andreas Jaeger <aj@suse.de> | 2000-05-17 06:48:50 +0000 |
| commit | 7626e16ceb26772b82ae4ef32e8e4b027cd79ed0 (patch) | |
| tree | 6119619a0ed4a7664f3756037c6a728a5efc313b /manual/texinfo.tex | |
| parent | 35f9eb5daea1c89b99bdf7ee03113204502cf037 (diff) | |
Update.
2000-05-17 Andreas Jaeger <aj@suse.de>
* scripts/config.sub: New version.
* scripts/config.guess: Likewise.
* manual/texinfo.tex: Likewise.
Diffstat (limited to 'manual/texinfo.tex')
| -rw-r--r-- | manual/texinfo.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/manual/texinfo.tex b/manual/texinfo.tex index ebf58d8e83..fff042d54f 100644 --- a/manual/texinfo.tex +++ b/manual/texinfo.tex @@ -3,7 +3,7 @@ % Load plain if necessary, i.e., if running under initex. \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi % -\def\texinfoversion{1999-10-01.07} +\def\texinfoversion{2000-05-16.11} % % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99 % Free Software Foundation, Inc. @@ -4710,7 +4710,8 @@ width0pt\relax} \fi \def\deftypeivarheader#1#2#3{% \dosubind{vr}{\code{#3}}{\putwordof\ \code{#1}}% entry in variable index \begingroup - \defname{#3}{\putwordInstanceVariableof\ \code{#1}}% + \defname{\defheaderxcond#2\relax$$$#3} + {\putwordInstanceVariableof\ \code{#1}}% \defvarargs{#3}% \endgroup } |