This commit is contained in:
2025-03-23 17:55:15 +01:00
parent 793ef6ca6f
commit 07801d65b2
6 changed files with 42 additions and 18 deletions

View File

@@ -33,7 +33,7 @@ let
time rsync -r --chmod +rw --copy-links ${root}/ .
test ! -e pagefind || {
>&2 echo 'ERROR: `root` input has `pagefind` already in it!'
echo >&2 'ERROR: `root` input has `pagefind` already in it!'
false
}