mirror of
https://gitlab.freedesktop.org/wayland/wayland.git
synced 2026-02-13 04:28:02 -05:00
Merge branch 'mr/valiopt' into 'main'
doc: make DocBook validation optional See merge request wayland/wayland!514
This commit is contained in:
commit
3be987bfe5
3 changed files with 11 additions and 2 deletions
|
|
@ -159,7 +159,7 @@ armv7-debian-container_prep:
|
|||
# Core build environment.
|
||||
.build-env:
|
||||
variables:
|
||||
MESON_BUILD_TYPE: "-Dbuildtype=debug -Doptimization=0 -Db_sanitize=address,undefined"
|
||||
MESON_BUILD_TYPE: "-Dbuildtype=debug -Doptimization=0 -Db_sanitize=address,undefined -Ddocbook_validation=true"
|
||||
# See https://gitlab.freedesktop.org/wayland/wayland/-/merge_requests/154
|
||||
ASAN_OPTIONS: "detect_odr_violation=0"
|
||||
before_script:
|
||||
|
|
|
|||
|
|
@ -94,11 +94,16 @@ foreach src : files([
|
|||
)
|
||||
endforeach
|
||||
|
||||
skip_validation = '--skip-validation'
|
||||
if get_option('docbook_validation')
|
||||
skip_validation = []
|
||||
endif
|
||||
|
||||
custom_target(
|
||||
'Wayland-docbook-html',
|
||||
command: [
|
||||
xmlto,
|
||||
'--skip-validation',
|
||||
skip_validation,
|
||||
'--stringparam', 'chunker.output.encoding=UTF-8',
|
||||
'--stringparam', 'chunk.section.depth=0',
|
||||
'--stringparam', 'toc.section.depth=1',
|
||||
|
|
|
|||
|
|
@ -14,6 +14,10 @@ option('documentation',
|
|||
description: 'Build the documentation (requires Doxygen, dot, xmlto, xsltproc)',
|
||||
type: 'boolean',
|
||||
value: true)
|
||||
option('docbook_validation',
|
||||
type: 'boolean',
|
||||
value: false,
|
||||
description: 'Validate the intermediate DocBook XML during the documentation build')
|
||||
option('dtd_validation',
|
||||
description: 'Validate the protocol DTD (requires libxml2)',
|
||||
type: 'boolean',
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue