diff options
| author | Pablo Neira Ayuso <pablo@netfilter.org> | 2025-08-18 12:11:23 +0200 |
|---|---|---|
| committer | Pablo Neira Ayuso <pablo@netfilter.org> | 2025-08-18 12:13:33 +0200 |
| commit | 5d0262910ddf9c8d5baf74fe54e3389478baad81 (patch) | |
| tree | e55c20c576db8c0c90ca64841ec4b3f37d7c9791 /git:/git.netfilter.org | |
| parent | 83c7ddc8ee6f66a6fa0cda7ed6197c67765b3223 (diff) | |
build: do not build documentation automatically
Make it optional. After this update it is still possible to build the
documentation via:
./configure --enable-man-pages
For consistency with --enable-html-doc.
Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
Diffstat (limited to 'git:/git.netfilter.org')
0 files changed, 0 insertions, 0 deletions