Next / Previous / Contents / Shipman's homepage

7.7. input-files: All input files

Specifies the set of input files to be read.

nomcompile3
# input-files(command-line) ==
#     (file eff-ranks(command-line)) +
#     (file std-file(command-line)) +
#     (file alt-file(command-line))