#!/bin/sh

for i in spec/table/*txt; 
   do FILE=`basename $i .txt`; 
      ./bin/table2problemspecific.pl $i > spec/problem-specific/$FILE.txt; 
      ./bin/conversiontool.pl spec/problem-specific/$FILE.txt > spec/jml/$FILE.spec;
done