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
