os/debian/config
changeset 10070 8970f1074f21
parent 3299 6fbecb7ca6a7
--- a/os/debian/config	Wed Sep 03 16:47:54 2008 +0000
+++ b/os/debian/config	Wed Sep 03 17:18:04 2008 +0000
@@ -6,16 +6,16 @@
 FILES="trg1r.grf trgcr.grf trghr.grf trgir.grf trgtr.grf sample.cat"
 DATADIR=/usr/share/games/openttd/data
 
-MISSING="No";
+MISSING="No"
 for FILE in $FILES; do
 	# Check if all the files needed are here.
 	if [ ! -e $DATADIR/$FILE ]; then
-		MISSING="Yes";
-		break;
-  fi;
-done;
+		MISSING="Yes"
+		break
+	fi;
+done
 
 if [ $MISSING = "Yes" ]; then
 	db_input high openttd/datafiles || true
 	db_go
-fi;
+fi