Tom Tromey c9097e37c7 Add missing backslash to update-gnulib.sh ...

A user on irc noticed a missing backslash on one line in
update-gnulib.sh.  This patch adds it.

Re-running update-gnulib.sh causes a few copyright notices to change.
Presumably these are from upstream gnulib and shouldn't be touched by
our yearly update.  I've updated the script to account for this, but I
did not want to try testing it...

2023-06-21 08:47:05 -06:00

..

gendocs_template

Add missing backslash to update-gnulib.sh

2023-06-21 08:47:05 -06:00

gendocs_template_min

Add missing backslash to update-gnulib.sh

2023-06-21 08:47:05 -06:00