]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/toglie_helm_xref.pl
Initial revision
[helm.git] / helm / interface / toglie_helm_xref.pl
diff --git a/helm/interface/toglie_helm_xref.pl b/helm/interface/toglie_helm_xref.pl
new file mode 100755 (executable)
index 0000000..13c9739
--- /dev/null
@@ -0,0 +1,8 @@
+#!/usr/bin/perl
+
+while(<STDIN>)
+{
+  s/helm:xref="[^"]*"//g;
+  s/helm:xref='[^']*'//g;
+  print;
+}