diff options
author | Eli Schwartz <eschwartz@archlinux.org> | 2021-01-10 07:48:34 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-10 14:48:34 +0200 |
commit | c18a9715b83ef94a56c064edee511162998001cc (patch) | |
tree | 886b73902c9c9767b987b88d74b1429013ab7930 /run_project_tests.py | |
parent | 832bcac0a793d63f4bf093c12580b4a605155476 (diff) | |
download | meson-c18a9715b83ef94a56c064edee511162998001cc.zip meson-c18a9715b83ef94a56c064edee511162998001cc.tar.gz meson-c18a9715b83ef94a56c064edee511162998001cc.tar.bz2 |
Hotdoc: use template for Commands.md instead of generating the entire file (#8154)
* doc: fix hotdoc misuse for dynamically generated content
hotdoc has a native include feature for including files inline. Use this
to generate one file for each dynamically generated code block, and
include that file in Commands.md; see:
https://hotdoc.github.io/syntax-extensions.html#smart-file-inclusion-syntax
This permits us to move back to using the in-tree version of the hotdoc
*.md sources, thus fixing the incorrect inclusion of "builddir/" in the
"Edit on github" links which resulted from using copies as the source.
Fixes #8061
* doc: call the dummy file a "stamp" as it is a better known term
Diffstat (limited to 'run_project_tests.py')
0 files changed, 0 insertions, 0 deletions