[gnome-disk-utility] build: Make man generation optional

[Kai Lüke <kailueke src gnome org>]

commit 0c2f3cd7efabebff1bf8ab62504f69b84df10cb5
Author: Iñigo Martínez <inigomartinez gmail com>
Date:   Sun Jul 7 13:38:49 2019 +0200

    build: Make man generation optional
    
    A new option has been added to make man documentation generation
    optional.

 meson.build       | 6 +++++-
 meson_options.txt | 1 +
 2 files changed, 6 insertions(+), 1 deletion(-)
---
diff --git a/meson.build b/meson.build
index 3c314f0a..0aca7aae 100644
--- a/meson.build
+++ b/meson.build
@@ -108,7 +108,11 @@ endif
 
 subdir('data')
 subdir('po')
-subdir('doc/man')
+
+enable_man = get_option('man')
+if enable_man
+  subdir('doc/man')
+endif
 
 configure_file(
   output: 'config.h',
diff --git a/meson_options.txt b/meson_options.txt
index 37bf112b..fa3eba54 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -1,2 +1,3 @@
 option('logind', type: 'combo', choices: ['libsystemd', 'libelogind', 'none'], value: 'libsystemd', 
description: 'build with logind')
 option('gsd_plugin', type: 'boolean', value: true, description: 'build gnome-settings-daemon plug-in')
+option('man', type: 'boolean', value: true, description: 'generate man pages')