Rev 3441 | Rev 5462 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3441 | Rev 5203 | ||
---|---|---|---|
Line 46... | Line 46... | ||
46 | rightbrace1='\}' |
46 | rightbrace1='\}' |
47 | Lleftpar='\left('; Rleftpar='\right.' |
47 | Lleftpar='\left('; Rleftpar='\right.' |
48 | Lrightpar='\left.'; Rrightpar='\right)' |
48 | Lrightpar='\left.'; Rrightpar='\right)' |
49 | Lleftbrace='\left\{'; Rleftbrace='\right.' |
49 | Lleftbrace='\left\{'; Rleftbrace='\right.' |
50 | Lrightbrace='\left.'; Rrightbrace='\right\}' |
50 | Lrightbrace='\left.'; Rrightbrace='\right\}' |
51 |
|
51 | add='\\ ' |
52 | in=$add$add |
52 | in=$add$add |
53 | for size in 2 3; do |
53 | for size in 2 3; do |
54 | for type in leftpar leftbrace rightpar rightbrace; do |
54 | for type in leftpar leftbrace rightpar rightbrace; do |
55 | eval L='$'L$type; eval R='$'R$type; |
55 | eval L='$'L$type; eval R='$'R$type; |
56 | eval |
56 | eval $type$size=\'$L\\begin\{array\}\{c\}$in\\end\{array\}$R\' |
57 | done |
57 | done |
58 | in=$in$add |
58 | in=$in$add |
59 | done |
59 | done |
60 | # discontinuity ! |
60 | # discontinuity ! |
61 | in=$in$add |
61 | in=$in$add |
62 | for size in 4 5 6 7 8 9 10; do |
62 | for size in 4 5 6 7 8 9 10; do |
63 | for type in leftpar leftbrace rightpar rightbrace; do |
63 | for type in leftpar leftbrace rightpar rightbrace; do |
64 | eval L='$'L$type; eval R='$'R$type; |
64 | eval L='$'L$type; eval R='$'R$type; |
65 | eval |
65 | eval $type$size=\'$L\\begin\{array\}\{c\}$in\\end\{array\}$R\' |
66 | done |
66 | done |
67 | in=$in$add |
67 | in=$in$add |
68 | done |
68 | done |
69 | 69 | ||
70 | # for density in 100 |
70 | # for density in 100 |
Line 105... | Line 105... | ||
105 | $tex2gif >>$texgifout |
105 | $tex2gif >>$texgifout |
106 | fi |
106 | fi |
107 | texgif_outfile=$FONT_DIR/$density/euf$F.gif |
107 | texgif_outfile=$FONT_DIR/$density/euf$F.gif |
108 | if [ ! -s $texgif_outfile ]; then |
108 | if [ ! -s $texgif_outfile ]; then |
109 | echo $density/euf$f |
109 | echo $density/euf$f |
110 | texgif_src="\$ \\goth |
110 | texgif_src="\$ \\goth{$f} \$" |
111 | $tex2gif >>$texgifout |
111 | $tex2gif >>$texgifout |
112 | fi |
112 | fi |
113 | texgif_outfile=$FONT_DIR/$density/cal$F.gif |
113 | texgif_outfile=$FONT_DIR/$density/cal$F.gif |
114 | if [ ! -s $texgif_outfile ]; then |
114 | if [ ! -s $texgif_outfile ]; then |
115 | echo $density/cal$f |
115 | echo $density/cal$f |
116 | texgif_src="\$ |
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 [A-Z] [a-z]` |
120 | f=`echo $f | tr [A-Z] [a-z]` |
121 | texgif_outfile=$FONT_DIR/$density/euf$f.gif |
121 | texgif_outfile=$FONT_DIR/$density/euf$f.gif |
Line 145... | Line 145... | ||
145 | f=$FONT_DIR/$density/$j1.gif |
145 | f=$FONT_DIR/$density/$j1.gif |
146 | if [ ! -r $f ]; then ln -s $j2.gif $f; fi |
146 | if [ ! -r $f ]; then ln -s $j2.gif $f; fi |
147 | done |
147 | done |
148 | done |
148 | done |
149 | 149 | ||
150 |
|
150 | #rm -f $HOME_DIR/tmp/texgif.* |