From 1c368ffc2a798ad79c592c341d93e20bcdb38451 Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=98yvind=20Kol=C3=A5s?= <pippin@gimp.org>
Date: Sun, 12 Jan 2020 23:59:13 +0100
Subject: [PATCH] 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 16b6b24..7d8bf68 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
-- 
2.30.2