Commit 1baed15d29d70a67320c628ebfb648572b5ada99

Bruno Haible 2010-09-04T18:56:55

Simplify use of gnulib-tool now that gnulib-tool --import works better.