| commit | c2ea8e248628f8716c9ded3c9b899919ffddd0ec | [log] [tgz] |
|---|---|---|
| author | Karl Berry <karl@gnu.org> | Tue Nov 19 21:11:43 1996 +0000 |
| committer | Karl Berry <karl@gnu.org> | Tue Nov 19 21:11:43 1996 +0000 |
| tree | c2d200a0fa0382da0d2c54d5760306ad0bf69983 | |
| parent | db2384b9ab30b578011505d10f52cd093d8f0db8 [diff] |
(\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>.