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