]> www.infradead.org Git - users/dwmw2/openconnect.git/commit
projects / users / dwmw2 / openconnect.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a2ffbb) | patch
Add --enable-docs option
authorLuca Boccassi <bluca@debian.org>
Wed, 2 Mar 2022 16:35:29 +0000 (16:35 +0000)
committerLuca Boccassi <bluca@debian.org>
Wed, 2 Mar 2022 16:56:44 +0000 (16:56 +0000)
commitafd0483e3662281d6b11319cd6118a46c48a223e
tree1336b6b446cc03ed2090454fc4948200be1390e6tree
parent6a2ffbbcd1c4ef0b689cce3d17154f6d4c2e3bc0commit | diff
Add --enable-docs option

Allow to explicitly disable building documentation. Some
platforms are too old (RHEL 7) and even if Python is available due
to build macros, building documentation fails. Allow to disable it
explicitly.

Signed-off-by: Luca Boccassi <bluca@debian.org>
configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.