From a262318f833c0d929da4bbd1c3002f891fa9bfa1 Mon Sep 17 00:00:00 2001
From: Pádraig Brady <P@draigBrady.com>
Date: Wed, 17 Jun 2015 12:58:53 +0100
Subject: maint: remove stale online manual items at release

* gnulib: Update to get the new gnu-web-doc-update with --mirror option.
* README-release: Use the --mirror option in the instructions.
Also clarify and update various release steps.
---
 gnulib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gnulib')

diff --git a/gnulib b/gnulib
index ecabc6b01..9a417cf7d 160000
--- a/gnulib
+++ b/gnulib
@@ -1 +1 @@
-Subproject commit ecabc6b01567522dd542889c353a14f0c2e22f6e
+Subproject commit 9a417cf7d48fa231c937c53626da6c45d09e6b3e
-- 
cgit v1.2.3-54-g00ecf