src/Tools/WWW_Find/etc/settings

prefer guarded Context_Position.report where feasible;

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

LIGHTTPD="/usr/sbin/lighttpd"

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

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