[PATCH] Cygwin: Conditionally build documentation

Corinna Vinschen corinna-cygwin@cygwin.com
Mon Dec 20 09:55:44 GMT 2021


On Dec 18 17:47, Jon Turney wrote:
> Add a configure option '--disable-doc' to disable building of the
> documentation by the 'all' target.
> 
> Check for the required tools at configure time, and require them if
> building documentation is enabled.
> 
> Even if building the documentation was diabled with '--disable-doc',
> 'make -C doc' at the top-level can still make the documentation, if the
> documentation tools were found. If the tools were not found, 'missing'
> is used to issue a warning about that.
> 
> Update instructions for building Cygwin appropriately.
> 
> (Building documentation remains the default to increase the chances of
> noticing when building the documentation is broken.)
> ---
>  winsup/Makefile.am             |  6 +++++-
>  winsup/configure.ac            | 25 ++++++++++++++++++++++++-
>  winsup/doc/Makefile.am         |  2 +-
>  winsup/doc/faq-programming.xml | 14 +++++++++-----
>  4 files changed, 39 insertions(+), 8 deletions(-)

Please push.  Both patches.


Thanks,
Corinna


More information about the Cygwin-patches mailing list