File indexing completed on 2024-05-12 16:41:05
0001 #!/bin/bash 0002 # provide the path to the gesym-ng binary as first argument 0003 0004 GESYMBNG=$1 0005 SYMBOLS="arrows cyrillic delimiters greek misc-math misc-text operators relation special" 0006 0007 echo "Deleting old files..." 0008 0009 for i in $SYMBOLS; do 0010 0011 cd $i 0012 rm -f *.png 0013 cd .. 0014 0015 done 0016 0017 for i in $SYMBOLS; do 0018 0019 echo "Generating image files in $i..." 0020 mkdir -p generate 0021 cd generate 0022 $GESYMBNG "../$i.xml" &> /dev/null 0023 mv *.png "../$i" 0024 cd .. 0025 rm -rf generate 0026 0027 done