diff options
author | Karl Berry <karl@gnu.org> | 1996-11-19 21:11:43 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1996-11-19 21:11:43 +0000 |
commit | c44db1b1985cb3c41ea9cd76fc5dd60edd087842 (patch) | |
tree | dfb2f394c6c6e0499f18880cdf82c837b2c13aae /sysdeps | |
parent | afd4eb3759746286f7cccfbe27c45d52eb49b7b3 (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>.
Diffstat (limited to 'sysdeps')
0 files changed, 0 insertions, 0 deletions