chomp;
split / /;
for (@_) {
+ $GZSUFF = "";
+ if (/.gz$/)
+ { s/.gz$//; $GZSUFF = " gz" if ($ARGV[0] == "-gz"); }
if (/.*\.(con|var|ind)(\.types)?\.xml/)
{ s/\./cic:/; }
elsif (/.*\.theory\.xml/)
{ s/\./theory:/; }
s/\.xml//;
- print;
- print "\n";
+ print $_.$GZSUFF."\n";
}
}