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 /makefile.vms | |
| 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 'makefile.vms')
0 files changed, 0 insertions, 0 deletions