*** scripts/uninstall-magic.orig	Tue Jun  8 16:10:07 1999
--- scripts/uninstall-magic	Tue Jun  8 16:10:07 1999
*************** fi
*** 21,27 ****
  trap 'rm -f "$1.vtxnew"' 0
  
  cp -p "$1" "$1.vtxnew"
! gawk '
    /^#.*VideoteXt/ {
      skip = 1
      next
--- 21,27 ----
  trap 'rm -f "$1.vtxnew"' 0
  
  cp -p "$1" "$1.vtxnew"
! awk '
    /^#.*VideoteXt/ {
      skip = 1
      next