On Wed, Nov 21, 2001 at 09:50:59AM -0500, Norman Walsh wrote: > / 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.
Or something like <envvar role="definition">TOMCAT_HOME</>=... and <envvar role="use">$TOMCAT_HOME</> in code fragments, and <envvar role="reference">TOMCAT_HOME</> in descriptive texts ? Would it make sense to add such "known values" to envvar's class attribute ? -- Yann Dirson <[EMAIL PROTECTED]> http://www.alcove.com/ Free-Software Engineer Ingénieur Logiciel-Libre Free-Software time manager Responsable du temps Informatique-Libre Debian GNU/Linux developper <[EMAIL PROTECTED]>
