# the path to lighttpd
LIGHTTPD="/usr/sbin/lighttpd"

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

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