#!/bin/sh
# $Id: download,v 1.2 1997/03/05 09:13:00 d791013 Exp $
#
# $Log: download,v $
# Revision 1.2  1997/03/05 09:13:00  d791013
# * merged from ntu2cjk in CJK-4_1.2
#
# Revision 1.1  1996/10/23 05:36:08  d791013

# * This script creates a downloadable font file by converting PFB fonts to
#   PFA fonts first, concatenating them and prepending an exit server
#   (exitserv.ps) to the output file.

if [ -z "$1" ]; then 
  echo "Usage: $0 [-i] [-o output] {pfb-font}*"
  echo "  -i: initialize output"
  echo "  -o: output file. [dl-fonts.ps] ."
  echo "  pfb-font: PS font to be downloaded."
  exit 2
fi

dl_fonts="dl-fonts.ps"
while [ true ]; do
  case $1 in 
    -o) 
      shift
      dl_fonts="$1"
      shift
      if [ ! -f ${dl_fonts} ]; then
        cat exitserv.ps > ${dl_fonts}
      fi
      ;;
    -i)
      cat exitserv.ps > ${dl_fonts}
      shift 
      ;;
    *) break ;;
  esac
done

for ps in $@; do
  pfb2pfa $ps _temp_pfa
  cat _temp_pfa >> ${dl_fonts}
done

rm -f _temp_pfa
exit 0
