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

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

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

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 |

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

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

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