Next / Previous / Contents / Shipman's homepage

7.5. eff-ranks: Effective ranks input file name

Specifies the name of the ranks file to be read.

nomcompile3
# eff-ranks(command-line) ==
#     if command-line specifies a ranks file name ->
#         that file name
#     else -> DEFAULT_RANKS_FILE