]> git.ipfire.org Git - thirdparty/curl.git/commit
projects / thirdparty / curl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b42cda) | patch
configure: make --disable-docs imply --disable-manual
authorDaniel Stenberg <daniel@haxx.se>
Tue, 26 Mar 2024 16:14:56 +0000 (17:14 +0100)
committerDaniel Stenberg <daniel@haxx.se>
Wed, 27 Mar 2024 11:43:46 +0000 (12:43 +0100)
commit978790298c23c529a673f32c91bf8488d3f3e3b8
treea817f15e8a3e73a11b4d95df1a3afcdf8073a5f5tree
parent4b42cda3df85419328ba8c9160a3e8306605d094commit | diff
configure: make --disable-docs imply --disable-manual

Because when the docs is not built, the necesary curl.txt file is not
present so then the manual cannot get built.

Reported-by: Harry Sintonen
Closes #13191
configure.ac diff | blob | blame | history
Mirror of https://github.com/curl/curl.git