src/Tools/WWW_Find/etc/settings
author wenzelm
Mon, 20 Dec 2010 15:19:15 +0100
changeset 41308 9e576ec5c0dc
parent 33817 f6a4da31f2f1
permissions -rw-r--r--
tuned/clarified some component settings; explicit comments about common mistakes;

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

LIGHTTPD="/usr/sbin/lighttpd"

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

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