[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.4.22 `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 Davide on March, 6 2002 using texi2html