From c54673fdf732ee497637a9ca4b3e0ba5d57393c8 Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Sun, 18 Feb 2007 19:12:31 +0000
Subject: [PATCH] aggiunte le gif

---
 INSTALL.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.17.1