src/Tools/Metis/make_metis

--- a/src/Tools/Metis/make_metis	Wed Sep 15 20:07:41 2010 +0200
+++ b/src/Tools/Metis/make_metis	Wed Sep 15 22:20:10 2010 +0200
@@ -8,6 +8,8 @@
 
 THIS=$(cd "$(dirname "$0")"; echo $PWD)
 
+make -f Makefile.FILES refresh_FILES
+
 (
   cat <<EOF
 (*