tools/dev/starpu_check_documented.py: mpi include files are now in the dedicated include directory

tools/dev/starpu_check_documented.py

@@ -28,12 +28,12 @@ for docfile in os.listdir('doc/chapters'):
         loadFunctionsAndDatatypes(functions, datatypes, "doc/chapters/"+docfile)
 
 for function in functions:
-    x = os.system("fgrep -l \"" + function[0] + "\" include/*.h mpi/*.h starpufft/*h >foo")
+    x = os.system("fgrep -l \"" + function[0] + "\" include/*.h mpi/include/*.h starpufft/*h >foo")
     if x != 0:
         print "Function <" + bcolors.FAILURE + function[0] + bcolors.NORMAL + " > documented in <" + function[1] + "> does not exist in StarPU's API"
 
 for datatype in datatypes:
-    x = os.system("fgrep -l \"" + datatype[0] + "\" include/*.h mpi/*.h starpufft/*h >foo")
+    x = os.system("fgrep -l \"" + datatype[0] + "\" include/*.h mpi/include/*.h starpufft/*h >foo")
     if x != 0:
         print "Datatype <" + bcolors.FAILURE + datatype[0] + bcolors.NORMAL + "> documented in <" + datatype[1] + "> does not exist in StarPU's API"