1 files changed, 19 insertions, 0 deletions
diff --git a/misc/videotext/files/patch-aa b/misc/videotext/files/patch-aa
new file mode 100644
index 000000000000..f0533324e0fb
--- /dev/null
+++ b/misc/videotext/files/patch-aa
@@ -0,0 +1,19 @@
+*** scripts/check-help.orig	Tue Jun  8 16:10:07 1999
+--- scripts/check-help	Tue Jun  8 16:10:07 1999
+*************** INFOFILE="$1"
+*** 24,30 ****
+  shift
+  
+  egrep -h 'XV_HELP_DATA.*"videotext:[a-zA-Z0-9_]+"' "$@" |
+!   gawk '
+      BEGIN {
+        RS = "[ \t,]"
+      }
+--- 24,30 ----
+  shift
+  
+  egrep -h 'XV_HELP_DATA.*"videotext:[a-zA-Z0-9_]+"' "$@" |
+!   awk '
+      BEGIN {
+        RS = "[ \t,]"
+      }