Go to the first, previous, next, last section, table of contents.
This macro will tell you how many times the option was specified on the command line. It does not include counts of preset options.
if (COUNT_OPT( NAME ) != desired-count) { make-an-undesirable-message. }
Go to the first, previous, next, last section, table of contents.