diff options
Diffstat (limited to 'support/xtexshell/bitmaps/mkbitmaps')
-rwxr-xr-x | support/xtexshell/bitmaps/mkbitmaps | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/support/xtexshell/bitmaps/mkbitmaps b/support/xtexshell/bitmaps/mkbitmaps new file mode 100755 index 0000000000..157d2f1203 --- /dev/null +++ b/support/xtexshell/bitmaps/mkbitmaps @@ -0,0 +1,38 @@ +#!/bin/sh + +#***************************************************************************** +#*** Functions +#***************************************************************************** + +function makebmp() { + + echo "*** Generating Bitmap $name..." + + latex $name.tex + dvips -t A4 $name.dvi + gs -dNOPAUSE -r125x125 -sDEVICE=ppmraw -sOutputFile=tmp $name.ps << EOF +quit +EOF + bitconv tmp $name +} + +#***************************************************************************** +#*** Main Program +#***************************************************************************** + +echo "" +echo "*** Compiling Program..." + +g++ -O2 bitconv.cc -m486 -lm -o bitconv + +name=symbol1; makebmp +name=symbol2; makebmp +name=symbol3; makebmp +name=symbol4; makebmp +name=symbol5; makebmp +name=symbol6; makebmp +name=fonts; makebmp + +echo "*** Cleaning directory..." + +rm -f tmp *.log *.aux *.toc *.dvi *.ps *~ |