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 /grp | |
| parent | afd4eb3759746286f7cccfbe27c45d52eb49b7b3 (diff) | |
| download | glibc-c44db1b1985cb3c41ea9cd76fc5dd60edd087842.tar.gz glibc-c44db1b1985cb3c41ea9cd76fc5dd60edd087842.tar.xz glibc-c44db1b1985cb3c41ea9cd76fc5dd60edd087842.zip | |
(\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 'grp')
0 files changed, 0 insertions, 0 deletions