diff options
Diffstat (limited to 'Master/texmf-dist/source/fonts/arev/enctofontpos')
-rw-r--r-- | Master/texmf-dist/source/fonts/arev/enctofontpos | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/fonts/arev/enctofontpos b/Master/texmf-dist/source/fonts/arev/enctofontpos new file mode 100644 index 00000000000..4ff4b777b12 --- /dev/null +++ b/Master/texmf-dist/source/fonts/arev/enctofontpos @@ -0,0 +1,33 @@ +#!/bin/bash +# enctofontpos GlyphListFile Alphabet +# encoding vector is on standard input + +GlyphListFile=$1 +Alphabet=$2 + +echo "% Symbol declarations for Glyph List $GlyphListFile, generated `date`." + +read LineIn1 LineInRest +ErrorVal=$? + +Num=0 + +while [ $ErrorVal -eq 0 ] +do + if [ "$LineIn1" != "" ] + then + Char=`echo $LineIn1 | cut -d/ -f 2` + LineIn2=`grep glyph\{$Char\} $GlyphListFile` + # put glyph{} around $Char so that alpha does not match with \mathalpha, and for renamed glyphs like diamond + MacroName=`echo $LineIn2 | cut -d{ -f 4 | cut -d} -f 1` + CharType=`echo $LineIn2 | cut -d{ -f 5 | cut -d} -f 1` + #echo "% $Char $MacroName $CharType" + if [ "$MacroName" != "\\nomacro" ] + then + echo "\\DeclareMathSymbol{\\$MacroName}{\\$CharType}{$Alphabet}{$Num} % $Char" + fi + Num=$(($Num+1)) + fi + read LineIn1 LineInRest + ErrorVal=$? +done |