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:instr...@yahoo.com.br] Sent: Monday, August 29, 2011 10:31 To: docbook@lists.oasis-open.org 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