Fred L. Drake, Jr. schrieb:
> On Thursday 21 December 2006 11:39, Jim Jewett wrote:
> > Is there a reason for "\var{name}" but "\code{library}"?
>
> Both should be \var in this case.
>
>
> -Fred
>
I'll correct that in the toolchain that generates libctypes.tex
(it is generated from rst).
Thomas