#!/bin/sh

# mkpsheader for VideoteXt
#
# Copyright (c) 1995 Martin Buck  <martin.buck@student.uni-ulm.de>
# Read COPYING for more information
#
# Maybe sed would be more suitable for such a simple task, but you already
# need gawk for mktitlepage & mkvtxfont, so why not use it here...

exec gawk '
  BEGIN {
    print "/* This file was created automatically by mkpsheader. DO NOT EDIT */"
    print ""
    print "static unsigned char *ps_header[] = {"
  }

  {
    print "  \"" $0 "\","
  }

  END {
    print "  NULL"
    print "};"
  }
'
