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