[PATCH] Cygwin: Conditionally build documentation

[Jon Turney]

On 08/12/2021 15:03, Jon Turney wrote:
> Add a configure option '--disable-doc' to disable building of
> documentation by 'all' target.

Oops, wrong list.  Apologies for the noise.