Subversion Repositories wimsdev

Rev

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

Rev 7033 Rev 8179
Line 32... Line 32...
32 
export texgif_src texgif_outfile texgif_density
 32 
export texgif_src texgif_outfile texgif_density
33 
rm -f $texgifout 2>/dev/null
 33 
rm -f $texgifout 2>/dev/null
34 
 
 34 
 
35 
# test case-sensitiveness of the file system.
 35 
# test case-sensitiveness of the file system.
36 
# Note that there is a wims.c, but no WIMS.C in the directory.
 36 
# Note that there is a wims.c, but no WIMS.C in the directory.
37 
if [ -f WIMS.C ]; then
 - 
 
38 
  underscore="_"
 37 
underscore="_"
39 
else
 - 
 
40 
  underscore=""
 - 
 
41 
fi
 - 
 
42 
 
 38 
 
43 
leftpar1='('
 39 
leftpar1='('
44 
rightpar1=')'
 40 
rightpar1=')'
45 
leftbrace1='\{'
 41 
leftbrace1='\{'
46 
rightbrace1='\}'
 42 
rightbrace1='\}'
Line 70... Line 66...
70 
# for density in 100
 66 
# for density in 100
71 
for density in 63 69 76 83 91 100 109 120 131 144 158 173
 67 
for density in 63 69 76 83 91 100 109 120 131 144 158 173
72 
do
 68 
do
73 
  texgif_density=$density
 69 
  texgif_density=$density
74 
  mkdir -p $FONT_DIR/$density
 70 
  mkdir -p $FONT_DIR/$density
75
71 
 
76 
  for f in `cat $SRC_DIR/mathfonts`
 72 
  for f in `cat $SRC_DIR/mathfonts`
77 
  do
 73 
  do
78 
    if (echo $f | grep '[A-Z]')>/dev/null; then F=$f$underscore; else F=$f; fi
 74 
    if (echo $f | grep '[A-Z]')>/dev/null; then F=$f$underscore; else F=$f; fi
79 
    texgif_outfile=$FONT_DIR/$density/$F.gif
 75 
    texgif_outfile=$FONT_DIR/$density/$F.gif
80 
    if [ ! -s $texgif_outfile ]; then
 76 
    if [ ! -s $texgif_outfile ]; then
81 
      echo $density/$f
 77 
      echo $density/$f
82 
      texgif_src="\$ \\$f \$"
 78 
      texgif_src="\$ \\$f \$"
83 
      $tex2gif >>$texgifout
 79 
      $tex2gif >>$texgifout
84 
    fi
 80 
    fi
85 
  done
 81 
  done
86
82 
 
87 
  for f in x y z
 83 
  for f in x y z
88 
  do
 84 
  do
89 
    texgif_outfile=$FONT_DIR/$density/$f.gif
 85 
    texgif_outfile=$FONT_DIR/$density/$f.gif
90 
    if [ ! -s $texgif_outfile ]; then
 86 
    if [ ! -s $texgif_outfile ]; then
91 
      echo $density/$f
 87 
      echo $density/$f
92 
      texgif_src="\$ $f \$"
 88 
      texgif_src="\$ $f \$"
93 
      $tex2gif >>$texgifout
 89 
      $tex2gif >>$texgifout
94 
    fi
 90 
    fi
95 
  done
 91 
  done
96
92 
 
97 
  for f in A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 93 
  for f in A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
98 
  do
 94 
  do
99 
#upper case
95 
#upper case
100 
    F=$f$underscore
 96 
    F=$f$underscore
101 
    texgif_outfile=$FONT_DIR/$density/$f$F.gif
 97 
    texgif_outfile=$FONT_DIR/$density/$f$F.gif
102 
    if [ ! -s $texgif_outfile ]; then
 98 
    if [ ! -s $texgif_outfile ]; then
103 
      echo $density/$f$f
 99 
      echo $density/$f$f
104 
      texgif_src="\$ \\mathbb $f \$"
 100 
      texgif_src="\$ \\mathbb $f \$"
105 
      $tex2gif >>$texgifout
 101 
      $tex2gif >>$texgifout
106 
    fi
 102 
    fi
107 
    texgif_outfile=$FONT_DIR/$density/euf$F.gif
 103 
    texgif_outfile=$FONT_DIR/$density/euf$F.gif
108 
    if [ ! -s $texgif_outfile ]; then
 104 
    if [ ! -s $texgif_outfile ]; then
109 
      echo $density/euf$f
 105 
      echo $density/euf$f
110 
      texgif_src="\$ \\mathfrak{$f} \$"
 106 
      texgif_src="\$ \\mathfrak{$f} \$"
111 
      $tex2gif >>$texgifout
 107 
      $tex2gif >>$texgifout
112 
    fi
 108 
    fi
113 
    texgif_outfile=$FONT_DIR/$density/cal$F.gif
 109 
    texgif_outfile=$FONT_DIR/$density/cal$F.gif
114 
    if [ ! -s $texgif_outfile ]; then
 110 
    if [ ! -s $texgif_outfile ]; then
115 
      echo $density/cal$f
 111 
      echo $density/cal$f
116 
      texgif_src="\$ \\mathcal{$f} \$"
 112 
      texgif_src="\$ \\mathcal{$f} \$"
117 
      $tex2gif >>$texgifout
 113 
      $tex2gif >>$texgifout
118 
    fi
 114 
    fi
119 
#lower case
115 
#lower case
120 
    f=`echo $f | tr [:upper:] [:lower:]`
 116 
    f=`echo $f | tr [:upper:] [:lower:]`
121 
    texgif_outfile=$FONT_DIR/$density/euf$f.gif
 117 
    texgif_outfile=$FONT_DIR/$density/euf$f.gif
122 
    if [ ! -s $texgif_outfile ]; then
 118 
    if [ ! -s $texgif_outfile ]; then
123 
      echo $density/euf$f
 119 
      echo $density/euf$f
124 
      texgif_src="\$ \\mathfrak{$f} \$"
 120 
      texgif_src="\$ \\mathfrak{$f} \$"
Line 135... Line 131...
135 
        texgif_src="\$\$ $src \$\$"
 131 
        texgif_src="\$\$ $src \$\$"
136 
        $tex2gif >>$texgifout
 132 
        $tex2gif >>$texgifout
137 
      fi
 133 
      fi
138 
    done
 134 
    done
139 
  done
 135 
  done
140
136 
 
141 
  for syn in `cat $SRC_DIR/mathfonts-synonyms`
 137 
  for syn in `cat $SRC_DIR/mathfonts-synonyms`
142 
  do
 138 
  do
143 
     j1=`echo $syn | awk -F, '{print $1}'`
 139 
     j1=`echo $syn | awk -F, '{print $1}'`
144 
     j2=`echo $syn | awk -F, '{print $2}'`
 140 
     j2=`echo $syn | awk -F, '{print $2}'`
145 
     f=$FONT_DIR/$density/$j1.gif
 141 
     f=$FONT_DIR/$density/$j1.gif