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 | c2ea8e248628f8716c9ded3c9b899919ffddd0ec (patch) | |
| tree | c2d200a0fa0382da0d2c54d5760306ad0bf69983 /build_w32.bat | |
| parent | db2384b9ab30b578011505d10f52cd093d8f0db8 (diff) | |
| download | gunmake-c2ea8e248628f8716c9ded3c9b899919ffddd0ec.tar.gz | |
(\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 'build_w32.bat')
0 files changed, 0 insertions, 0 deletions