diff options
| author | Karl Berry <karl@gnu.org> | 1996-09-18 12:15:20 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1996-09-18 12:15:20 +0000 |
| commit | 6e7fa14c6524a96d71d18520676e03ea05011c3b (patch) | |
| tree | 11c33ff40cc9598dcb2391e3e1021a0d4b770a69 /glob/configure.bat | |
| parent | 5206d3f2bca37af623410dd37f88bf0840ad2572 (diff) | |
| download | gunmake-6e7fa14c6524a96d71d18520676e03ea05011c3b.tar.gz | |
(\inforef): Move to more appropriate place.
* texinfo.tex (\inforef): Move to more appropriate place.
(\pounds): Remove spurious extra $.
(\email): Typeset argument in angle brackets.
(\macro): Use \doignore for robustness, instead of just letting TeX
parse the argument.
(\unmacro): Define.
Diffstat (limited to 'glob/configure.bat')
0 files changed, 0 insertions, 0 deletions