tools/dev: fix coccinelle script

tools/dev/starpu_funcs.cocci

@@ -1,7 +1,7 @@
 @starpufunc@
 position p;
 type t;
-identifier f =~ "^starpu_";
+identifier f ~= "^starpu_";
 @@
 
 t f@p( ... );

tools/dev/starpu_funcs.sh

@@ -10,11 +10,11 @@ functions=$(spatch -sp_file tools/dev/starpu_funcs.cocci $(find include -name '*
 for func in $functions ; do
 	fname=$(echo $func|awk -F ',' '{print $1}')
 	location=$(echo $func|awk -F ',' '{print $2}')
-	x=$(grep $fname doc/starpu.texi | grep deftypefun)
+	x=$(grep $fname doc/starpu.texi doc/chapters/*texi | grep deftypefun)
 	if test "$x" == "" ; then
-		echo "function ${redcolor}${fname}${stcolor} at location $location is not (or incorrectly) documented"
-	else
-		echo "function ${greencolor}${fname}${stcolor} at location $location is correctly documented"
+		echo "function ${redcolor}${fname}${stcolor} at location ${redcolor}$location${stcolor} is not (or incorrectly) documented"
+#	else
+#		echo "function ${greencolor}${fname}${stcolor} at location $location is correctly documented"
 	fi
 
 done