src/Tools/WWW_Find/etc/settings

slightly less ambitious settings, to avoid potential out-of-memory problem;

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

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

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