7.6.10 ISSEL_OPT( <NAME> ) - Is Option Selected?

This macro yields true if the option has been specified either on the command line or via a SET/DISABLE macro.

This document was generated by Bruce Korb on August 21, 2015 using texi2html 1.82.