diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-03-25 12:01:17 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-25 12:01:17 +0000 |
commit | 90e2c2cda5f3650c46c00bebf02fcdc34129cbd4 (patch) | |
tree | c68e717558c716ee560a8cb381438cfff22b9393 /doc | |
parent | d41ca9785aad08460f0683b5cfa4a6f312d345dd (diff) | |
parent | b1b78f4369f2c029d1d6455eaedb782be44d7921 (diff) |
Merge master into staging-next
Diffstat (limited to 'doc')
-rw-r--r-- | doc/build-helpers/trivial-build-helpers.chapter.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/build-helpers/trivial-build-helpers.chapter.md b/doc/build-helpers/trivial-build-helpers.chapter.md index 6d14db639938..c9985bda7923 100644 --- a/doc/build-helpers/trivial-build-helpers.chapter.md +++ b/doc/build-helpers/trivial-build-helpers.chapter.md @@ -488,7 +488,7 @@ writeTextFile { echo "hi" ''; executable = true; - destination = "bin/my-script" + destination = "bin/my-script"; } ``` @@ -576,7 +576,7 @@ writeTextFile { echo "hi" ''; executable = true; - destination = "bin/my-script" + destination = "bin/my-script"; } ``` |