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.
Arguments:
new-name - new name for the current output file
This document was generated by Bruce Korb on August 21, 2015 using texi2html 1.82.