diff options
Diffstat (limited to 'misc/videotext/files/patch-ad')
| -rw-r--r-- | misc/videotext/files/patch-ad | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/misc/videotext/files/patch-ad b/misc/videotext/files/patch-ad new file mode 100644 index 000000000000..bcad311d4a66 --- /dev/null +++ b/misc/videotext/files/patch-ad @@ -0,0 +1,19 @@ +*** scripts/mktitlepage.orig Tue Jun 8 16:10:07 1999 +--- scripts/mktitlepage Tue Jun 8 16:10:07 1999 +*************** +*** 14,20 **** + # by 2 hex-digits, so currently we can only set the lower 16 bits of the attributes. + + +! exec gawk ' + BEGIN { + print "/* This file was created automatically by mktitlepage. DO NOT EDIT */" + } +--- 14,20 ---- + # by 2 hex-digits, so currently we can only set the lower 16 bits of the attributes. + + +! exec awk ' + BEGIN { + print "/* This file was created automatically by mktitlepage. DO NOT EDIT */" + } |
