darafferty/Xmaps — pull request #2 by martijndevries (2014-05-30 13:55:34+00:00)
Title: Updated for Ciao 4.6

Specextract in Ciao 4.6 always outputs .arf and .rmf files regardless of whether they are weighted, so the script is edited to check for .rmf and .arf