New upstream version 12.4.20191105+ds

1 files changed, 21 insertions, 0 deletions

diff --git a/pm-index b/pm-index
index 3255da9..70b6db1 100755
--- a/pm-index
+++ b/pm-index
@@ -45,3 +45,24 @@ do
   echo "$seconds seconds"
   sleep 1
 done
+
+for fl in *.xml
+do
+  base=${fl%.xml}
+  echo "$base.e2x"
+  seconds_start=$(date "+%s")
+  if [ -s "$data/meshtree.txt" ]
+  then
+    cat "$fl" |
+    xtract -transform "$data/meshtree.txt" -e2index |
+    gzip -1 > "$target/$base.e2x.gz"
+  else
+    cat "$fl" |
+    xtract -e2index |
+    gzip -1 > "$target/$base.e2x.gz"
+  fi
+  seconds_end=$(date "+%s")
+  seconds=$((seconds_end - seconds_start))
+  echo "$seconds seconds"
+  sleep 1
+done