From dfd7e8e44cc79d744e8bd45d5f325b15369c43a4 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Wed, 10 Sep 2008 11:20:22 +0000
Subject: [PATCH] Mix my previous commit (revision 45481): that script is perl,
 and not sh!

---
 Scripts/developer_scripts/create_internal_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/create_internal_release b/Scripts/developer_scripts/create_internal_release
index d0b5137337b..172ddcf4086 100755
--- a/Scripts/developer_scripts/create_internal_release
+++ b/Scripts/developer_scripts/create_internal_release
@@ -300,7 +300,7 @@ sub CreateDemoTestDirs()
     chdir "$RELEASEDIR/$VERSION" or die;
     chdir 'demo' or return;
     foreach $DIR (glob("*")) {
-	if ( -d $DIR -a "$DIR" != "icons" -a "$DIR" != "resources" ) {
+	if ( -d $DIR -&& "$DIR" != "icons" && "$DIR" != "resources" ) {
 	    dircopy("$DIR", "../test/${DIR}_Demo");
 	}
     }