mirror of
https://github.com/mirror/make.git
synced 2025-03-25 01:00:30 +08:00
(\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>.
This commit is contained in:
parent
db2384b9ab
commit
c2ea8e2486
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user