From: Matteo Nastasi (mop) <nastasi@alternativeoutput.it>
Date: Sun, 18 Feb 2007 19:12:31 +0000 (+0000)
Subject: aggiunte le gif
X-Git-Tag: 3.0.1~70
X-Git-Url: http://mop.ddnsfree.com/gitweb/?p=brisk-img.git;a=commitdiff_plain;h=c54673fdf732ee497637a9ca4b3e0ba5d57393c8

aggiunte le gif
---

diff --git a/INSTALL.sh b/INSTALL.sh
index fd5441a..51b1ecf 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -71,6 +71,6 @@ echo "    n_players:   $n_players"
 
 
 install -d ${web_path}/img
-install -m 644 `ls img/*.{jpg,png} | grep -v 'img/src_'` ${web_path}/img
+install -m 644 `ls img/*.{jpg,png,gif} | grep -v 'img/src_'` ${web_path}/img
 
 exit 0