diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 6f7d2dc..6f072ff 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -74,4 +74,4 @@ jobs: git checkout -b "${PKG_NAME}-${PKG_VERSION}" git add . git commit -m "${PKG_NAME}:${PKG_VERSION}" - git push --set-upstream origin "${PKG_NAME}-${PKG_VERSION}" + git push --force --set-upstream origin "${PKG_NAME}-${PKG_VERSION}" diff --git a/scripts/install b/scripts/install index a23030b..123e2b6 100755 --- a/scripts/install +++ b/scripts/install @@ -11,7 +11,7 @@ echo "Install dir: $TARGET" # Copy all included files to a temporary directory TMP="$(mktemp -d)" -for f in src/*.typ CHANGELOG.md README.md LICENSE typst.toml; do +for f in src/*.typ CHANGELOG.md README.md LICENSE typst.toml docs/*.svg; do mkdir -p "$TMP/$(dirname "$f")" 2>/dev/null cp -r "$ROOT/$f" "$TMP/$f" done