Re: [bug-gnulib] missing --doc-base option

[Bruno Haible]

Karl Berry wrote:
> A few days ago, gnulib-tool --import (or --update) started reporting 
> 
> gnulib-tool: *** missing --doc-base option
> gnulib-tool: *** Stop.
> 
> The help msg says "doc" is supposed to be used as a default, but
> apparently not.  I looked briefly at the script and surmise that the
> default is only effective if the cache file doesn't exist, or something
> like that.

Yes. If the cache file already exists, from a time before we introduced
the --doc-base option, I think it's better to punt and let the maintainer
decide where he wants to have the gnulib doc. The maintainer was not
presented the option to choose a --doc-base last time. Therefore he
would likely be surprised/annoyed if gnulib-tool erased parts of his
doc/ directory without asking for confirmation.

> So I just ran  gnulib-tool --doc-base doc  to get it into gnulib-cache.m4,
> which is fine

Yup.

> but it seems the behavior or the error message or the 
> documentation could be improved.

Can you suggest a wording?

Bruno