merge with next

Scripts/developer_scripts/check_licenses

@@ -48,6 +48,7 @@ DIR=stats
 PREFIX1=$DIR/X
 PREFIX2=$DIR/Y
 EXTENSIONS="C cpp h xpm gif pcx bmp jpeg png txt html vcproj sln dsp dsw cin cout cmd nef cgal dll lib tex makefile readme"
+CHECK_PATTERN="\.(`echo $EXTENSIONS | sed -e 's/ /\\|/g'`)"
 
 if [ -e $DIR ]; then
 	echo error: \'$DIR\' exists, this script needs \'$DIR\' for its own purposes
@@ -62,7 +63,7 @@ if [ ! -f INSTALL ]; then
 	exit 1
 fi
  
-licensecheck -r * | grep -Ev 'L?GPL \(v3 or later\)' | \
+licensecheck -r * -c $CHECK_PATTERN | grep -Ev 'L?GPL \(v3 or later\)' | \
 	grep -v "^$DIR/\|^include/CGAL/CORE/\|^include/CGAL/OpenNL/\|^src/CGALCore/\|^src/CGALimageIO/\|^config/support/\|test/\|^Packages/\|^developer_scripts\|^doc_tex/\|^winutils/\|^cmake/platforms" | sort >$PREFIX1 || true
 	
 echo Note that files in the following directories are ignored: