projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db2384b) | patch
(\deftypevarheader, \deftypevrheader): Remove
authorKarl Berry <karl@gnu.org>
Tue, 19 Nov 1996 21:11:43 +0000 (21:11 +0000)
committerKarl Berry <karl@gnu.org>
Tue, 19 Nov 1996 21:11:43 +0000 (21:11 +0000)
commitc2ea8e248628f8716c9ded3c9b899919ffddd0ec
treec2d200a0fa0382da0d2c54d5760306ad0bf69983tree | snapshot
parentdb2384b9ab30b578011505d10f52cd093d8f0db8commit | 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>.
texinfo.tex diff | blob | history
Domain: System / Base;