diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-03-25 12:01:47 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-25 12:01:47 +0000 |
commit | f904a6b3b589b4f0cf05b2fbe695d37cc75d3e35 (patch) | |
tree | b802cb0cdf716bd979a48602f085b3d4c72edd0b /doc | |
parent | 712a57c1c9b7629028916eb5ef2447c7844fcd0a (diff) | |
parent | 90e2c2cda5f3650c46c00bebf02fcdc34129cbd4 (diff) |
Merge staging-next into staging
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"; } ``` |