1
# -*- shell-script -*- :mode=shellscript:
2
3
LIGHTTPD="/usr/sbin/lighttpd"
4
5
WWWFINDDIR="$COMPONENT"
6
WWWCONFIG="$WWWFINDDIR/lighttpd.conf"
7
8
ISABELLE_TOOLS="$ISABELLE_TOOLS:$WWWFINDDIR/lib/Tools"