diff options
| author | Jon Turney <jon.turney@dronecode.org.uk> | 2021-12-07 14:05:34 +0000 |
|---|---|---|
| committer | Jon Turney <jon.turney@dronecode.org.uk> | 2021-12-17 22:28:16 +0000 |
| commit | f4a26ececa180cec70c41b6dd2082ff730f92065 (patch) | |
| tree | 65ae27ecbf2fa0c64637f01b345ee80fe23863a4 /winsup/Makefile.am | |
| parent | 80f4b7d5456ea17d64998805fb3d64db091201fc (diff) | |
| download | newlib-f4a26ececa180cec70c41b6dd2082ff730f92065.zip newlib-f4a26ececa180cec70c41b6dd2082ff730f92065.tar.gz newlib-f4a26ececa180cec70c41b6dd2082ff730f92065.tar.bz2 | |
Cygwin: Conditionally build documentation
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.)
Diffstat (limited to 'winsup/Makefile.am')
| -rw-r--r-- | winsup/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/winsup/Makefile.am b/winsup/Makefile.am index 067f746..9efdd4c 100644 --- a/winsup/Makefile.am +++ b/winsup/Makefile.am @@ -14,6 +14,10 @@ cygdoc_DATA = \ CYGWIN_LICENSE \ COPYING -SUBDIRS = cygwin cygserver doc utils testsuite +SUBDIRS = cygwin cygserver utils testsuite + +if BUILD_DOC +SUBDIRS += doc +endif cygserver utils testsuite: cygwin |