--- a/lib/Tools/findlogics Sat Oct 08 18:51:03 2005 +0200
+++ b/lib/Tools/findlogics Sat Oct 08 20:15:31 2005 +0200
@@ -34,7 +34,7 @@
for FILE in "$DIR"/*
do
if [ -f "$FILE" ]; then
- NAME=$(basename "$FILE")
+ NAME=$(basename "$FILE" "$ML_SUFFIX")
LOGICS="$LOGICS $NAME"
fi
done