aggiunte le gif

diff --git a/INSTALL.sh b/INSTALL.sh
index fd5441a..51b1ecf 100755 (executable)
--- 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