Next / Previous / Contents / Shipman's homepage

7.1. abbr-file: Name of the codes output file

Specifies the name of the codes file to be written.

nomcompile3
# abbr-file(command-line) ==
#     (base name from command-line) + ABBR_EXTENSION