_script/math.sh

   1 #!/bin/bash
   2 #
   3 # (re)generate source tarballs for any directory containing a
   4 # .make_tar file.  Will *not* include any dot files (e.g. .make_tar)
   5 # .make_tar should contain a relative path to the directory that
   6 # provides the tarball's base name.  For example
   7 #   $ echo some_dir/src/.make_tar
   8 #   ../
   9 # calls for an output
  10 #   some_dir/src/some_dir.tar.gz
  11
  12 ITEX2MML=itex2MML
  13 CLEAN=0
  14 if [ "$1" == '--clean' ]; then
  15     CLEAN=1
  16 fi
  17
  18 ITEX2MML_OPTS=' --forbid-markup --unicode-entities'
  19
  20 find . -name '*.itex2MML' | while read ITEX2MML_FILE
  21 do
  22     OUTPUT="${ITEX2MML_FILE/.itex2MML/}"
  23     if [ "$CLEAN" == "1" ]; then
  24         rm -vf "$OUTPUT"
  25     else
  26         echo "$ITEX2MML_FILE"
  27         cat "$ITEX2MML_FILE" | $ITEX2MML $ITEX2MML_OPTS > "$OUTPUT"
  28     fi
  29 done