Next / Previous / Contents / Shipman's homepage

7.8. output-files: All output files

Specifies the set of output files to be written.

nomcompile3
# output-files(command-line) ==
#     (file tree-file(command-line)) +
#     (file abbr-file(command-line)) +
#     (file coll-file(command-line)) +
#     (file xml-file(command-line))