blob: f0533324e0fb74f72938ad774e39194f57a0aa66 (
plain) (
tree)
|
|
*** 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,]"
}
|