# -*- shell-script -*- :mode=shellscript:

LIGHTTPD="/usr/sbin/lighttpd"

WWWFINDDIR="$COMPONENT"
WWWCONFIG="$WWWFINDDIR/lighttpd.conf"

ISABELLE_TOOLS="$ISABELLE_TOOLS:$WWWFINDDIR/lib/Tools"
