From d511fbd576e8249633776ba21a9209465fa1e59f Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@lrde.epita.fr>
Date: Thu, 26 Jul 2012 13:28:58 +0200
Subject: [PATCH] gnulib: update

---
 bootstrap | 4 +++-
 gnulib    | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/bootstrap b/bootstrap
index e00c8bbb..e3e270b0 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Print a version string.
-scriptversion=2012-07-10.09; # UTC
+scriptversion=2012-07-19.14; # UTC
 
 # Bootstrap this package from checked-out sources.
 
@@ -214,6 +214,8 @@ use_git=true
 # otherwise find the first of the NAMES that can be run (i.e.,
 # supports --version).  If found, set ENVVAR to the program name,
 # die otherwise.
+#
+# FIXME: code duplication, see also gnu-web-doc-update.
 find_tool ()
 {
   find_tool_envvar=$1
diff --git a/gnulib b/gnulib
index 2f67aa79..dbd91449 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit 2f67aa79c6f13961eda685144130692dc9f7b95f
+Subproject commit dbd914496c99c52220e5f5ba4121d6cb55fb3beb
-- 
2.45.2