tree-file
Specifies the name of the flat tree file to be written.
# tree-file(command-line) == # (base name from command-line) + TREE_EXTENSION