+++ /dev/null
-#!/usr/bin/perl
-
-while(<STDIN>) {
- 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 $_.$GZSUFF."\n";
- }
-}