diff options
| author | Karl Berry <karl@gnu.org> | 1998-04-01 00:36:53 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-04-01 00:36:53 +0000 |
| commit | 9d31f1e1f1ce94d1c14545b1cb07bdda4b6afde5 (patch) | |
| tree | d09a032a9492a9e529522d5741084f68d631d867 /configure.in | |
| parent | 2fcce1d3b0b0a5781a63b2ceb2f7729c0623b7ba (diff) | |
| download | gunmake-9d31f1e1f1ce94d1c14545b1cb07bdda4b6afde5.tar.gz | |
(\synindex, \syncodeindex): \closeout the redirected index.
From: Jakob Stoklund Olesen <stoklund@mi.aau.dk>
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions