| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] | 
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.
}
 | 
 
  This document was generated by Bruce Korb on July 25, 2010 using texi2html 1.82.