src/Tools/Metis/Makefile.FILES

--- a/src/Tools/Metis/Makefile.FILES	Thu Sep 16 07:54:18 2010 +0200
+++ b/src/Tools/Metis/Makefile.FILES	Thu Sep 16 08:02:32 2010 +0200
@@ -4,7 +4,7 @@
 	echo > $@
 refresh_FILES:
 	echo $(POLYML_SRC) | \
-	sed "s/src\///g" | \
-	sed "s/ Tptp\.s[a-z][a-z]//g" | \
-	sed "s/ Options\.s[a-z][a-z]//g" \
+	sed "s/src\/PortablePolyml/PortableIsabelle/g" | \
+	sed "s/ src\/Tptp\.s[a-z][a-z]//g" | \
+	sed "s/ src\/Options\.s[a-z][a-z]//g" \
 	> FILES