diff options
| author | Eli Schwartz <eschwartz@archlinux.org> | 2023-05-09 20:50:45 -0400 |
|---|---|---|
| committer | Eli Schwartz <eschwartz@archlinux.org> | 2023-05-09 21:33:32 -0400 |
| commit | 6f78db93bfe0d0b7df30abb76f77cb4575db1aa4 (patch) | |
| tree | 2a4ca9925750ee00b10d86058d5004e504f56746 /docs/meson_options.txt | |
| parent | 740d926eee9f7cf15fb9fb94a38b367ba3f6595c (diff) | |
| download | meson-6f78db93bfe0d0b7df30abb76f77cb4575db1aa4.tar.gz | |
docs: add option to skip building HTML docs
Reorder meson targets to handle those all at the end, and exit early if
HTML documentation is disabled. This makes it possible to build just the
manpage, without hotdoc installed.
Diffstat (limited to 'docs/meson_options.txt')
| -rw-r--r-- | docs/meson_options.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/meson_options.txt b/docs/meson_options.txt index f548da98d..bc0ec5508 100644 --- a/docs/meson_options.txt +++ b/docs/meson_options.txt @@ -1,2 +1,4 @@ option('unsafe_yaml', type: 'boolean', value: false, description: 'disable safety checks and use a faster, but less correct YAML loader') +option('html', type: 'boolean', value: true, + description: 'build the hotdoc-based HTML documentation') |