tools/dev/starpu_check_public.sh: fix coccinelle script location

tools/dev/starpu_check_public.sh

@@ -4,7 +4,7 @@
 
 # StarPU --- Runtime system for heterogeneous multicore architectures.
 #
-# Copyright (C) 2011, 2012 Centre National de la Recherche Scientifique
+# Copyright (C) 2011, 2012, 2015 Centre National de la Recherche Scientifique
 # Copyright (C) 2011 Institut National de Recherche en Informatique et Automatique
 #
 # StarPU is free software; you can redistribute it and/or modify
@@ -22,7 +22,7 @@ stcolor=$(tput sgr0)
 redcolor=$(tput setaf 1)
 greencolor=$(tput setaf 2)
 
-functions=$(spatch -very_quiet -sp_file tools/dev/starpu_funcs.cocci $(find include -name '*.h'))
+functions=$(spatch -very_quiet -sp_file doc/doxygen/dev/starpu_funcs.cocci $(find include -name '*.h'))
 for func in $functions ; do
 	fname=$(echo $func|awk -F ',' '{print $1}')
 	location=$(echo $func|awk -F ',' '{print $2}')