|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
Usage: (out-switch file-name)
Switch output files - close current file and make the current file pointer refer to the new file. This is equivalent to
out-pop followed by
out-push-new, except that
you may not pop the base level output file, but you may
switch it. See section Redirecting Output.
file-name - name of the file to create
This document was generated by Bruce Korb on October 16, 2013 using texi2html 1.82.