recommendations for use of gnulib-tool

[Bruno Haible]

Hello, dear King of the Kings,

You are so far away, therefore you may not be aware that the conventions
for invoking gnulib-tool have changed today. As mentioned in
  <http://www.gnu.org/software/gnulib/manual/html_node/Modified-imports.html>
"gnulib-tool --import" is no longer cumulative. Here is a suggested change
to the hello/README-dev file.

Thanks for all you did for us. This is it!


--- README-dev 5 Apr 2010 18:51:57 -0000 1.3
+++ README-dev 4 Sep 2010 17:02:09 -0000
@@ -36,7 +36,7 @@
 to share common files, with the files being checked in to CVS.  
 To update from the current gnulib, get a gnulib checkout, and
 then run
-  /path/to/gnulib/gnulib-tool --import
+  /path/to/gnulib/gnulib-tool --add-import
 in our top-level directory.
 
 For the record, the first time invocation was

[Karl Berry]

Hi Bruno,

    Here is a suggested change
    to the hello/README-dev file.

Since all the kings have seemingly left the building, I made a similar
change on their behalf.  Thanks from all :).