discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
# -*- shell-script -*- :mode=shellscript:
LIGHTTPD="/usr/sbin/lighttpd"
WWWFINDDIR="$COMPONENT"
WWWCONFIG="$WWWFINDDIR/lighttpd.conf"
ISABELLE_TOOLS="$ISABELLE_TOOLS:$WWWFINDDIR/lib/Tools"