(\deftypevarheader, \deftypevrheader): Remove
authorkarl <karl>
Tue, 19 Nov 1996 21:11:43 +0000 (21:11 +0000)
committerkarl <karl>
Tue, 19 Nov 1996 21:11:43 +0000 (21:11 +0000)
commitc78dfaf972ea5e03e7badd4ed9290975c8664026
treed173cc708760d625076df3902c3546021976df19
parentc53e97e0ac2345a4eeb9fc5b7c88d8035d566711
 (\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>.
manual/texinfo.tex