Rev 8179 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8179 | Rev 14536 | ||
---|---|---|---|
Line 98... | Line 98... | ||
98 | if [ ! -s $texgif_outfile ]; then |
98 | if [ ! -s $texgif_outfile ]; then |
99 | echo $density/$f$f |
99 | echo $density/$f$f |
100 | texgif_src="\$ \\mathbb $f \$" |
100 | texgif_src="\$ \\mathbb $f \$" |
101 | $tex2gif >>$texgifout |
101 | $tex2gif >>$texgifout |
102 | fi |
102 | fi |
103 |
|
103 | ##texgif_outfile=$FONT_DIR/$density/euf$F.gif |
104 |
|
104 | ##if [ ! -s $texgif_outfile ]; then |
105 | echo $density/euf$f |
105 | ## echo $density/euf$f |
106 | texgif_src="\$ \\mathfrak{$f} \$" |
106 | ## texgif_src="\$ \\mathfrak{$f} \$" |
107 | $tex2gif >>$texgifout |
107 | ## $tex2gif >>$texgifout |
108 |
|
108 | ##fi |
109 | texgif_outfile=$FONT_DIR/$density/cal$F.gif |
109 | texgif_outfile=$FONT_DIR/$density/cal$F.gif |
110 | if [ ! -s $texgif_outfile ]; then |
110 | if [ ! -s $texgif_outfile ]; then |
111 | echo $density/cal$f |
111 | echo $density/cal$f |
112 | texgif_src="\$ \\mathcal{$f} \$" |
112 | texgif_src="\$ \\mathcal{$f} \$" |
113 | $tex2gif >>$texgifout |
113 | $tex2gif >>$texgifout |
114 | fi |
114 | fi |
115 | #lower case |
115 | #lower case |
116 |
|
116 | ##f=`echo $f | tr [:upper:] [:lower:]` |
117 |
|
117 | ##texgif_outfile=$FONT_DIR/$density/euf$f.gif |
118 |
|
118 | ##if [ ! -s $texgif_outfile ]; then |
119 | echo $density/euf$f |
119 | ## echo $density/euf$f |
120 | texgif_src="\$ \\mathfrak{$f} \$" |
120 | ## texgif_src="\$ \\mathfrak{$f} \$" |
121 | $tex2gif >>$texgifout |
121 | ## $tex2gif >>$texgifout |
122 |
|
122 | ##fi |
123 | done |
123 | done |
124 | # delimiters () {} |
124 | # delimiters () {} |
125 | for type in leftpar leftbrace rightpar rightbrace; do |
125 | for type in leftpar leftbrace rightpar rightbrace; do |
126 | for size in 1 2 3 4 5 6 7 8 9 10; do |
126 | for size in 1 2 3 4 5 6 7 8 9 10; do |
127 | f=$type$size; eval src='$'$f |
127 | f=$type$size; eval src='$'$f |