diff options
author | Karl Berry <karl@gnu.org> | 1998-10-27 16:59:40 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1998-10-27 16:59:40 +0000 |
commit | 0be25c6986a7d2f370bed76dbeebf8b0e897439e (patch) | |
tree | f11d4c81e95aec8e875eec1e24b6946684eaeb84 /main.c | |
parent | 4dfe38353e4d206cfb31ab4f6cb85804afce3ad9 (diff) | |
download | gunmake-0be25c6986a7d2f370bed76dbeebf8b0e897439e.tar.gz |
* texinfo.tex (@env, @command, @option): Must disable for index
and xref commands. Also, \input plain if necessary before
using {} in the version number.
Diffstat (limited to 'main.c')
0 files changed, 0 insertions, 0 deletions