diff options
| author | Max Kellermann <max@musicpd.org> | 2020-08-14 12:37:02 +0200 |
|---|---|---|
| committer | Max Kellermann <max@musicpd.org> | 2020-08-14 13:02:19 +0200 |
| commit | 9df2469e514d4a5739de9ca045dea9e612aca804 (patch) | |
| tree | 9088c42b2f14b24ce4a16fabb3a6a32f0d287aa0 /meson_options.txt | |
| parent | 2e73e605f78d2e6488e34465a8bfa9e4989a057f (diff) | |
meson_options.txt: add option html_manual
Diffstat (limited to 'meson_options.txt')
| -rw-r--r-- | meson_options.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt index 750120208..cb70c133e 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -1,4 +1,5 @@ option('documentation', type: 'feature', description: 'Build documentation') +option('html_manual', type: 'boolean', value: true, description: 'Build the HTML manual') option('test', type: 'boolean', value: false, description: 'Build the unit tests and debug programs') |