home *** CD-ROM | disk | FTP | other *** search
/ Frozen Fish 1: Amiga / FrozenFish-Apr94.iso / bbs / alib / d7xx / d795 / pstools.lha / PSTools / PSTools1.lha / source / maketexpk-dist.1 < prev    next >
Encoding:
Text File  |  1992-12-14  |  2.5 KB  |  110 lines
  1. #!/bin/sh
  2. #
  3. #   This script file makes a new TeX PK font, because one wasn't
  4. #   found.  Parameters are:
  5. #
  6. #   name dpi bdpi magnification [mode]
  7. #
  8. #   `name' is the name of the font, such as `cmr10'.  `dpi' is
  9. #   the resolution the font is needed at.  `bdpi' is the base
  10. #   resolution, useful for figuring out the mode to make the font
  11. #   in.  `magnification' is a string to pass to MF as the
  12. #   magnification.  `mode', if supplied, is the mode to use.
  13. #
  14. #   Note that this file must execute Metafont, and then gftopk,
  15. #   and place the result in the correct location for the PostScript
  16. #   driver to find it subsequently.  If this doesn't work, it will
  17. #   be evident because MF will be invoked over and over again.
  18. #
  19. #   Of course, it needs to be set up for your site.
  20. #
  21. # TEMPDIR needs to be unique for each process because of the possibility
  22. # of simultaneous processes running this script.
  23. DESTDIR=/usr/local/lib/tex/local/fonts/pk/pk300w
  24. TEMPDIR=/tmp/mtpk.$$
  25. NAME=$1
  26. DPI=$2
  27. BDPI=$3
  28. MAG=$4
  29. MODE=$5
  30.  
  31. umask 0
  32.  
  33. if test "$MODE" = ""
  34. then
  35.     MODE=localfont
  36. #   if test $BDPI = 300
  37. #   then
  38. #      MODE=imagen
  39. #   elif test $BDPI = 400
  40. #   then
  41. #      MODE=nexthi
  42. #   elif test $BDPI = 100
  43. #   then
  44. #      MODE=nextscreen
  45. #   elif test $BDPI = 635
  46. #   then
  47. #      MODE=linolo
  48. #   elif test $BDPI = 1270
  49. #   then
  50. #      MODE=linohi
  51. #   elif test $BDPI = 2540
  52. #   then
  53. #      MODE=linosuper
  54. #   else
  55. #      echo "I don't know the mode for $BDPI"
  56. #      echo "Have your system admin update MakeTeXPK"
  57. #      exit 1
  58. #   fi
  59. fi
  60.  
  61. #  Something like the following is useful at some sites.
  62. # DESTDIR=/usr/local/lib/tex/fonts/pk.$MODE
  63. GFNAME=$NAME.$DPI'gf'
  64. PKNAME=$NAME.$DPI'pk'
  65.  
  66. # Clean up on normal or abnormal exit
  67. trap "cd /; rm -rf $TEMPDIR $DESTDIR/pktmp.$$" 0 1 2 15
  68.  
  69.  
  70. if test ! -d $DESTDIR
  71. then
  72.    mkdir $DESTDIR
  73. fi
  74.  
  75. mkdir $TEMPDIR
  76. cd $TEMPDIR
  77.  
  78. if test -r $DESTDIR/$PKNAME
  79. then
  80.    echo "$DESTDIR/$PKNAME already exists!"
  81.    exit 0
  82. fi
  83.  
  84. # check also in the standard place
  85.  
  86. if test -r /usr/local/lib/tex/fonts/pk/pk300w/$PKNAME
  87. then
  88.    echo /usr/local/lib/tex/fonts/pk/pk300w/$PKNAME already exists!
  89.    exit 0
  90. fi
  91.  
  92. echo mf "\mode:=$MODE; mag:=$MAG; scrollmode; input $NAME" \\\</dev/null
  93. mf "\mode:=$MODE; mag:=$MAG; scrollmode; input $NAME" </dev/null
  94. if test ! -r $GFNAME
  95. then
  96.    echo "Metafont failed for some reason on $GFNAME"
  97.    exit 1
  98. fi
  99.  
  100. gftopk $GFNAME $PKNAME
  101.  
  102. # Install the PK file carefully, since others may be doing the same
  103. # as us simultaneously.
  104.  
  105. mv $PKNAME $DESTDIR/pktmp.$$
  106. cd $DESTDIR
  107. mv pktmp.$$ $PKNAME
  108.  
  109. exit 0
  110.