diff options
| author | Karl Berry <karl@gnu.org> | 1998-12-21 15:36:12 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-12-21 15:36:12 +0000 |
| commit | 71aacd9fe0cc434ef737cee143b20e7c24644117 (patch) | |
| tree | f2de13e28814cccb01c5272192d1f2749846580f /build_w32.bat | |
| parent | dc7cf1c4b2357ce47c530ea56e24cd8df17057b9 (diff) | |
| download | gunmake-71aacd9fe0cc434ef737cee143b20e7c24644117.tar.gz | |
* texinfo.tex (\indexdummies): Set \{ and \} to \mylbrace and
\mybrace to avoid braces in the index file, which
texindex can't handle.
Diffstat (limited to 'build_w32.bat')
0 files changed, 0 insertions, 0 deletions