src/Tools/WWW_Find/etc/settings

eta-normalize the goal since the original theorem is atomized

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

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

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