diff options
| author | Vladimír Kotal <vladimir.kotal@oracle.com> | 2023-06-19 13:43:35 +0200 |
|---|---|---|
| committer | Pauli <pauli@openssl.org> | 2023-06-28 09:32:03 +1000 |
| commit | 956b4c75dc3f8710bf7b4e1cf01b4ef6d5ca2b45 (patch) | |
| tree | 03e5b4b81778829f68b92639aaa0df8f0ec36457 /INSTALL.md | |
| parent | 32d2b5fdd93ceee192abefb3fd0ce8f9a1b329c2 (diff) | |
add no-docs option
Reviewed-by: Tomas Mraz <tomas@openssl.org>
Reviewed-by: Paul Dale <pauli@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/21240)
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/INSTALL.md b/INSTALL.md index a5747aaec7..3a73e56ec6 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -716,6 +716,10 @@ Don't build support for datagram based BIOs. Selecting this option will also force the disabling of DTLS. +### no-docs + +Don't build and install documentation, i.e. manual pages in various forms. + ### no-dso Don't build support for loading Dynamic Shared Objects (DSO) |