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"