From a62dc0b46c53242d9730e4e2bab808ab52e19355 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Sun, 5 Apr 2009 11:16:12 -0700
Subject: [PATCH] prominently mention gnulib-tool; rearrange sections

---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README b/README
index 294c3f918..01ec2fe92 100644
--- a/README
+++ b/README
@@ -19,7 +19,7 @@ script.  Since there is no installation procedure for Gnulib,
 gnulib-tool needs to be run directly in the directory that contains the
 Gnulib source code.  You can do this either by specifying the absolute
 filename of gnulib-tool, or by using a symbolic link from a
-place inside your PATH to the gnulib-tool file of your preferred 
+place inside your PATH to the gnulib-tool file of your preferred
 Gnulib checkout.  For example:
   $ ln -s $HOME/gnu/src/gnulib.git/gnulib-tool $HOME/bin/gnulib-tool
 
-- 
2.11.0