output-files
Specifies the set of output files to be written.
# output-files(command-line) == # (file tree-file(command-line)) + # (file abbr-file(command-line)) + # (file coll-file(command-line)) + # (file xml-file(command-line))