[babl] docs/tools/xml_insert: fix awk warning

[Øyvind "pippin" Kolås <ok src gnome org>]

commit 1c368ffc2a798ad79c592c341d93e20bcdb38451
Author: Øyvind Kolås <pippin gimp org>
Date:   Sun Jan 12 23:59:13 2020 +0100

    docs/tools/xml_insert: fix awk warning

 docs/tools/xml_insert.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/docs/tools/xml_insert.sh b/docs/tools/xml_insert.sh
index 16b6b246d..7d8bf686e 100755
--- a/docs/tools/xml_insert.sh
+++ b/docs/tools/xml_insert.sh
@@ -91,7 +91,7 @@ tmp_file="$tmp_dir/one"
 cp $1 $tmp_file
 
 numlines=`wc -l $tmp_file | $AWK '{print $1;}'`
-splitno=`$AWK "/<\!--$2-->/ { print NR; exit 0; }" $tmp_file`
+splitno=`$AWK "/<!--$2-->/ { print NR; exit 0; }" $tmp_file`
 tailno=`expr $numlines - $splitno`
 
 head -$splitno $tmp_file > $1