Hi,
IMHO the definiton in texinfo.tex (version 1999-09-25.10) of @deftypeivar is wrong, it
says:
(starting on line 4710)
==========
% #1 is the class name, #2 the data type, #3 the variable name.
\def\deftypeivarheader#1#2#3{%
\dosubind{vr}{\code{#3}}{\putwordof\ \code{#1}}% entry in variable index
\begingroup
\defname{#3}{\putwordInstanceVariableof\ \code{#1}}%
\defvarargs{#3}%
\endgroup
}
==========
The following works right, but I'm no TeXpert, but it has the desired (and documented)
effect:
==========
% #1 is the class name, #2 the data type, #3 the variable name.
\def\deftypeivarheader#1#2#3{%
\dosubind{vr}{\code{#3}}{\putwordof\ \code{#1}}% entry in variable index
\begingroup
\defname{\defheaderxcond#2\relax$$$#3}{\putwordInstanceVariableof\ \code{#1}}%
\defvarargs{}%
\endgroup
}
==========
Marcel
