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


Reply via email to