7.1.11 @option{option-name}

Use the @option command to indicate a command-line option; for example, -l or --version or --output=filename.

@option is equivalent to @code in its effects. For example:

The option @option{-l} produces a long listing.

produces

The option -l produces a long listing.