|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
Usage: (out-move new-name)
Rename current output file. See section 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.
new-name - new name for the current output file
This document was generated by Bruce Korb on May 18, 2013 using texi2html 1.82.