Re: DOCBOOK: Re: Environment Variables in File/Directory Names

[Yann Dirson <ydirson@fr.alcove.com>]

On Wed, Nov 21, 2001 at 09:50:59AM -0500, Norman Walsh wrote:
> / Holger Rauch <Holger.Rauch@heitec.de> 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 <Yann.Dirson@fr.alcove.com>                 http://www.alcove.com/
Free-Software Engineer				      Ingénieur Logiciel-Libre
Free-Software time manager    	       Responsable du temps Informatique-Libre
Debian GNU/Linux developper <dirson@debian.org>