3.4.40 ‘out-move’ - change name of output file

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.