diff options
| author | Karl Berry <karl@gnu.org> | 1996-11-19 21:11:43 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1996-11-19 21:11:43 +0000 |
| commit | c2ea8e248628f8716c9ded3c9b899919ffddd0ec (patch) | |
| tree | c2d200a0fa0382da0d2c54d5760306ad0bf69983 /texinfo.tex | |
| parent | db2384b9ab30b578011505d10f52cd093d8f0db8 (diff) | |
| download | gunmake-c2ea8e248628f8716c9ded3c9b899919ffddd0ec.tar.gz | |
(\deftypevarheader, \deftypevrheader): Remove
* texinfo.tex (\deftypevarheader, \deftypevrheader): Remove
anything after the first space in the name to be indexed, for the
sake of tzname[2].
(\dovarind): New macro.
From: Andreas Schwab <schwab@issan.informatik.uni-dortmund.de>.
Diffstat (limited to 'texinfo.tex')
| -rw-r--r-- | texinfo.tex | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/texinfo.tex b/texinfo.tex index 9803500..4db7c68 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -4049,19 +4049,21 @@ width0pt\relax} \fi \def\deftypevar{\defvarparsebody\Edeftypevar\deftypevarx\deftypevarheader} -% #1 is the data type. #2 is the name. +% #1 is the data type. #2 is the name, perhaps followed by text that +% is actually part of the data type, which should not be put into the index. \def\deftypevarheader #1#2{% -\doind {vr}{\code{#2}}% Make entry in variables index +\dovarind#2 \relax% Make entry in variables index \begingroup\defname {\defheaderxcond#1\relax$$$#2}{Variable}% \interlinepenalty=10000 \endgraf\penalty 10000\vskip -\parskip\penalty 10000 \endgroup} +\def\dovarind#1 #2\relax{\doind{vr}{\code{#1}}} % @deftypevr {Global Flag} int enable \def\deftypevr{\defvrparsebody\Edeftypevr\deftypevrx\deftypevrheader} -\def\deftypevrheader #1#2#3{\doind {vr}{\code{#3}}% +\def\deftypevrheader #1#2#3{\dovarind#3 \relax% \begingroup\defname {\defheaderxcond#2\relax$$$#3}{#1} \interlinepenalty=10000 \endgraf\penalty 10000\vskip -\parskip\penalty 10000 |