diff options
author | Karl Berry <karl@gnu.org> | 1999-02-05 10:33:07 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1999-02-05 10:33:07 +0000 |
commit | 3634e15fe345968b878045426efd0779396b2c18 (patch) | |
tree | 1a81aa3a0b216662873474882a7578a5ca0ce6ab /make.texinfo | |
parent | 9c95acec4b3a715dc7ada9bf396d47d53449086a (diff) | |
download | gunmake-3634e15fe345968b878045426efd0779396b2c18.tar.gz |
* texinfo.tex (\uref): implement optional third arg.
* texinfo.tex (\dosubind): Include index entry in third arg to
\entry instead of writing as bogus fourth arg.
Report from: kama@hippo.fido.de (Karl Heinz Marbaise).
* texinfo.tex (\setemergencystretch): Increase somewhat.
* texinfo.tex (\putwordof): rename from \putwordOf.
* texinfo.tex (defivarhead, \defcvarheader): Use \putwordof.
Diffstat (limited to 'make.texinfo')
0 files changed, 0 insertions, 0 deletions