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 /configure.in | |
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 'configure.in')
0 files changed, 0 insertions, 0 deletions