> Perhaps you could try my rewrite of the bootstrap script, with which
> I cannot reproduce the problem you describe?
Will do that eventually, thanks.
> I'm unsure how to proceed. On one hand, I like `.gnulib' as the
> submodule's directory. On the other hand, I don't like `.gnulib' as
> the submodule name. It seems that it is impossible to do a `git
> submodule add' for this setup...
For now, I've decided to locally patch `bootstrap', replacing
`submodule.gnulib.*' with `submodule..gnulib.*'.
Werner