Rev 5462 | Rev 8179 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5462 | Rev 7033 | ||
---|---|---|---|
Line 115... | Line 115... | ||
115 | echo $density/cal$f |
115 | echo $density/cal$f |
116 | texgif_src="\$ \\mathcal{$f} \$" |
116 | texgif_src="\$ \\mathcal{$f} \$" |
117 | $tex2gif >>$texgifout |
117 | $tex2gif >>$texgifout |
118 | fi |
118 | fi |
119 | #lower case |
119 | #lower case |
120 | f=`echo $f | tr [ |
120 | f=`echo $f | tr [:upper:] [:lower:]` |
121 | texgif_outfile=$FONT_DIR/$density/euf$f.gif |
121 | texgif_outfile=$FONT_DIR/$density/euf$f.gif |
122 | if [ ! -s $texgif_outfile ]; then |
122 | if [ ! -s $texgif_outfile ]; then |
123 | echo $density/euf$f |
123 | echo $density/euf$f |
124 | texgif_src="\$ \\mathfrak{$f} \$" |
124 | texgif_src="\$ \\mathfrak{$f} \$" |
125 | $tex2gif >>$texgifout |
125 | $tex2gif >>$texgifout |