diff options
Diffstat (limited to 'misc/videotext/files/patch-ae')
-rw-r--r-- | misc/videotext/files/patch-ae | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/misc/videotext/files/patch-ae b/misc/videotext/files/patch-ae new file mode 100644 index 000000000000..b2acef23a7c6 --- /dev/null +++ b/misc/videotext/files/patch-ae @@ -0,0 +1,19 @@ +*** 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 |