Re: [EXTERNAL] Re: [PATCH] Cygwin: Conditionally build documentation

2022-01-18 Thread Jon Turney
On 15/01/2022 23:00, Brian Inglis wrote: On 2022-01-15 12:06, Lavrentiev, Anton (NIH/NLM/NCBI) [C] via Cygwin-patches wrote: It is reported by 'configure --help', at the appropriate level (although since enable is the default, I probably should have written '--disable-doc' here). [...] It l

Re: [EXTERNAL] Re: [PATCH] Cygwin: Conditionally build documentation

2022-01-18 Thread Jon Turney
On 17/01/2022 19:39, Lavrentiev, Anton (NIH/NLM/NCBI) [C] wrote: It is reported by 'configure --help', at the appropriate level (although since enable is the default, I probably should have written '--disable-doc' here). Can you please make it show as --disable-doc ? It would almost be less t

RE: [EXTERNAL] Re: [PATCH] Cygwin: Conditionally build documentation

2022-01-17 Thread Lavrentiev, Anton (NIH/NLM/NCBI) [C] via Cygwin-patches
> It is reported by 'configure --help', at the appropriate level (although > since enable is the default, I probably should have written > '--disable-doc' here). Can you please make it show as --disable-doc ? Also, can you please make it visible in the top-level configure? Thanks, Anton Lavrent

Re: [EXTERNAL] Re: [PATCH] Cygwin: Conditionally build documentation

2022-01-15 Thread Brian Inglis
On 2022-01-15 12:06, Lavrentiev, Anton (NIH/NLM/NCBI) [C] via Cygwin-patches wrote: It is reported by 'configure --help', at the appropriate level (although since enable is the default, I probably should have written '--disable-doc' here). I'm sorry if I'm missing anything, but I updated y'day

RE: [EXTERNAL] Re: [PATCH] Cygwin: Conditionally build documentation

2022-01-15 Thread Lavrentiev, Anton (NIH/NLM/NCBI) [C] via Cygwin-patches
> It is reported by 'configure --help', at the appropriate level (although > since enable is the default, I probably should have written > '--disable-doc' here). I'm sorry if I'm missing anything, but I updated y'day and this is what I see regarding the doc in configure: $ ./configure --help | g

Re: [PATCH] Cygwin: Conditionally build documentation

2022-01-15 Thread Jon Turney
On 14/01/2022 20:18, Lavrentiev, Anton (NIH/NLM/NCBI) [C] wrote: Add a configure option '--disable-doc' to disable building of the documentation by the 'all' target. Can you please also add --disable-doc to "configure --help"? It took me awhile to figure out which option I should use to skip

Re: [PATCH] Cygwin: Conditionally build documentation

2022-01-14 Thread Brian Inglis
On 2022-01-14 13:18, Lavrentiev, Anton (NIH/NLM/NCBI) [C] wrote: Add a configure option '--disable-doc' to disable building of the documentation by the 'all' target. Can you please also add --disable-doc to "configure --help"? It took me awhile to figure out which option I should use to sk

RE: [PATCH] Cygwin: Conditionally build documentation

2022-01-14 Thread Lavrentiev, Anton (NIH/NLM/NCBI) [C] via Cygwin-patches
> > Add a configure option '--disable-doc' to disable building of the > documentation by the 'all' target. > Can you please also add --disable-doc to "configure --help"? It took me awhile to figure out which option I should use to skip the doc from building because it does no longer ignore doc

Re: [PATCH] Cygwin: Conditionally build documentation

2021-12-20 Thread Corinna Vinschen
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 diabl

[PATCH] Cygwin: Conditionally build documentation

2021-12-18 Thread Jon Turney
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