Folks,
the normal usage of gnulib is to import files into a project, this is,
calling `gnulib-tool --import', then adding the imported files to the
repository.
I wonder whether the step `adding files to the repository' is
necessary at all. Why not simply calling gnulib-tool directly in the
`autogen.sh' script?
Werner
