This is just my opinion, but I would use <varname> for configuration file option names, and <token> for specific values that they might take. For example:
<varname>SortOrder</varname> can be set to <token>ascending</token> or <token>descending</token>.
From: Instruisto Jose [mailto:]
Sent: Monday, August 29, 2011 10:31
To:
Subject: Tag for option in a config file?
Dear Friends,
Are there any tag to define an option in a config file.
Example: I'm writing a tutorial explaining how to change the kernel config option,
CONFIG_SERIAL_8250_RUNTIME_UARTS before compilation of kernel.
Are there any tag to be used for "option" in a "configfile"?
Ex: <configfile class="option"> CONFIG_SERIAL_8250_RUNTIME_UARTS </configfile>
Any suggestion?
Thanks for attention,
Jose