Merge branch 'feature/docit' of ssh://git.sv.gnu.org/srv/git/gawk into feature/docit

1 files changed, 36 insertions, 0 deletions

diff --git a/helpers/update-support.sh b/helpers/update-support.sh
new file mode 100755
index 00000000..122ef896
--- /dev/null
+++ b/helpers/update-support.sh
@@ -0,0 +1,36 @@
+#! /bin/bash
+
+# This script is only useful for the maintainer ...
+#
+# It updates all the build-aux files from current GNULIB.
+# We don't bother to print any messages about what we copied,
+# as Git will tell us what, if anything, changed.
+
+(cd /usr/local/src/Gnu/gnulib && git pull)
+
+GL=/usr/local/src/Gnu/gnulib/lib
+
+FILE_LIST="cdefs.h
+dfa.c
+dfa.h
+flexmember.h
+intprops.h
+libc-config.h
+localeinfo.c
+localeinfo.h
+regcomp.c
+regex.c
+regexec.c
+regex.h
+regex_internal.c
+regex_internal.h
+verify.h
+xalloc.h"
+
+for i in $FILE_LIST
+do
+	if [ -f $GL/$i ] && [ -f $i ]
+	then
+		cp $GL/$i $i
+	fi
+done