3.4.23 `out-move' - change name of output file
Usage: (out-move new-name)
Rename current output file. See section 3.7 Redirecting Output.
Please note: changing the name will not save a temporary
file from being deleted. It may, however, be used on the
root output file.
Arguments:
new-name - new name for the current output file
This document was generated
by Bruce Korb on January, 7 2002
using texi2html