install_dir: docdir,
build_by_default: true,
)
- ensure_stable_urls = find_program('scripts'/'ensure-stable-doc-urls.py')
- custom_target(
- 'doc-cool-uris',
- input: [doc_gen, 'doc'/'cool-uris.yaml'],
- output: 'html-xtra',
- command: [
- ensure_stable_urls,
- 'generate-redirections',
- meson.current_source_dir()/'doc'/'cool-uris.yaml',
- meson.current_build_dir()/'html'
- ],
- install: false,
- build_by_default: true,
- )
+ if get_option('enable-cool-uris')
+ ensure_stable_urls = find_program('scripts'/'ensure-stable-doc-urls.py')
+ custom_target(
+ 'doc-cool-uris',
+ input: [doc_gen, 'doc'/'cool-uris.yaml'],
+ output: 'html-xtra',
+ command: [
+ ensure_stable_urls,
+ 'generate-redirections',
+ meson.current_source_dir()/'doc'/'cool-uris.yaml',
+ meson.current_build_dir()/'html'
+ ],
+ install: false,
+ build_by_default: true,
+ )
+ endif
endif
configure_file(output: 'config.h', configuration: configh_data)
description: 'Enable building the documentation',
)
option(
+ 'enable-cool-uris',
+ type: 'boolean',
+ value: false,
+ description: 'Enable creating redirections to maintain stable documentation pages',
+)
+option(
'enable-wayland',
type: 'boolean',
value: true,