From 6719bee74571e6a1b2a555edea64dbc8562c2fa9 Mon Sep 17 00:00:00 2001
From: Sebastian Ramacher <sebastian@ramacher.at>
Date: Tue, 27 Nov 2018 20:55:16 +0100
Subject: [PATCH] Add manpages option

---
 doc/meson.build   | 2 +-
 meson_options.txt | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/meson.build b/doc/meson.build
index 833df60..d178322 100644
--- a/doc/meson.build
+++ b/doc/meson.build
@@ -1,4 +1,4 @@
-sphinx = find_program('sphinx-build', required: false)
+sphinx = find_program('sphinx-build', required: get_option('manpages'))
 if sphinx.found()
   custom_target('man pages',
     command: [
diff --git a/meson_options.txt b/meson_options.txt
index 462538a..4e59f2f 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -18,4 +18,8 @@ option('seccomp',
   value: 'auto',
   description: 'seccomp-based sandbox'
 )
+option('manpages',
+  type: 'feature',
+  value: 'auto',
+  description: 'manual pages'
 )