/ Holger Rauch <[EMAIL PROTECTED]> was heard to say:
| This leads me to another question: What markup is appropriate
| for distinguishing between an environment variable and its value? (I'm
| simply talking about the difference between TOMCAT_HOME and $TOMCAT_HOME).
Oh, I probably use envar for both. That distinction isn't often important.
If it was, I'd just use a role attribute. Or maybe <literal role="envar">.
Or something.
Be seeing you,
norm
--
Norman Walsh <[EMAIL PROTECTED]> | Life is an irritation--Tucker Case
http://www.oasis-open.org/docbook/ | (Christopher Moore)
Chair, DocBook Technical Committee |
