*** scripts/mkvtxfont.orig	Tue Jun  8 16:10:07 1999
--- scripts/mkvtxfont	Tue Jun  8 16:10:07 1999
*************** if [ $# -ne 4 ]; then
*** 18,24 ****
    exit 1
  fi
  
! exec gawk -v "nfile=$2" -v "dfile=$3" -v "vfile=$4" -f - << "THIS_IS_THE_END" "$1"
  
  function print_header(xsize, ysize, ptsize, width, file) { # Print BDF-File header
    print "STARTFONT 2.1" > file
--- 18,24 ----
    exit 1
  fi
  
! exec awk -v "nfile=$2" -v "dfile=$3" -v "vfile=$4" -f - << "THIS_IS_THE_END" "$1"
  
  function print_header(xsize, ysize, ptsize, width, file) { # Print BDF-File header
    print "STARTFONT 2.1" > file
