src/Tools/WWW_Find/etc/settings

misc tuning;

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

LIGHTTPD="/usr/sbin/lighttpd"

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

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