On Mon, Apr 09, 2018 at 01:12:14PM +0200, Bruno Haible wrote: > What I'm saying is that code changes that offer more choice to the user > should be accompanied with documentation changes, so that the user is > aware of the choices that you offer them. > > Guessing what are the possible choices, by reading the code, is - as we > just witnessed :-) - a bit hard.
Right, I see what you mean now. In the following message there's an additional commit that adds what I think is reasonable documentation of this; comments welcome. This is intended to be applied on top of my previous patch in https://lists.gnu.org/archive/html/bug-gnulib/2018-04/msg00029.html, which is unchanged. Sorry for taking so long to get back to this! -- Colin Watson [cjwat...@debian.org]