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

[Karl Berry]

    Can you suggest a wording?

Delete the  (default \"doc\")  from the help message, since
evidently it is not so.  (Ditto the other dir options, I suppose.)
That was the main thing that misled me.

karl