mirror of
https://gitlab.freedesktop.org/wayland/wayland.git
synced 2026-04-12 08:21:28 -04:00
Merge branch 'mr/doclink' into 'main'
doc: change all HTML file names See merge request wayland/wayland!511
This commit is contained in:
commit
8866a084eb
5 changed files with 20 additions and 12 deletions
|
|
@ -98,11 +98,7 @@ custom_target(
|
|||
'Wayland-docbook-html',
|
||||
command: [
|
||||
xmlto,
|
||||
'--stringparam', 'chunker.output.encoding=UTF-8',
|
||||
'--stringparam', 'chunk.section.depth=0',
|
||||
'--stringparam', 'toc.section.depth=1',
|
||||
'--stringparam', 'generate.consistent.ids=1',
|
||||
'--stringparam', 'html.stylesheet=css/default.css',
|
||||
'-m', files('xsl/docbook-config.xsl'),
|
||||
'-o', '@OUTPUT@',
|
||||
'html',
|
||||
'@INPUT0@'
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue