DOCBOOK: Environment Variables in File/Directory Names

[Holger Rauch <Holger.Rauch@heitec.de>]

Hi!

What markup should I use for something like

	$TOMCAT_HOME/bin or
	$TOMCAT_HOME/bin/tomcat.sh?

(Unfortunately, it's not possible to use <envar> inside <filename> and
simply using <filename> doesn't seem to be precise enough. Or is it just
good practice to tag the whole thing as <filename>, regardless whether
there are <envar>s contained in there or not?)

Any help will be greatly appreciated!

Greetings,

	Holger