Subversion Repositories wimsdev

Rev

Rev 5203 | Rev 7033 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5203 Rev 5462
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{$f} \$"
 110 
      texgif_src="\$ \\mathfrak{$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
Line 119... Line 119...
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
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="\$ \\goth $f \$"
 124 
      texgif_src="\$ \\mathfrak{$f} \$"
125 
      $tex2gif >>$texgifout
 125 
      $tex2gif >>$texgifout
126 
    fi
 126 
    fi
127 
  done
 127 
  done
128 
# delimiters () {}
 128 
# delimiters () {}
129 
  for type in leftpar leftbrace rightpar rightbrace; do
 129 
  for type in leftpar leftbrace rightpar rightbrace; do
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 
#rm -f $HOME_DIR/tmp/texgif.*
 150 
rm -f $HOME_DIR/tmp/texgif.*