diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2023-04-23 22:52:46 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2023-04-23 22:52:46 +0300 |
| commit | 9aa6cd640a46fe945e33df88ee7c5da1087527f4 (patch) | |
| tree | 4b2c3c3a05f758538268cb695805c6f199df1b0a /.github | |
| parent | 3f841990545f7d086f363fafb2de06ca321aec39 (diff) | |
| download | inter-9aa6cd640a46fe945e33df88ee7c5da1087527f4.tar.xz | |
New distribution format (TTC, help, extras)
- uses TTC bundle for static fonts (#388)
- second zip archive used for "extras", with individiual static font files
- new help documentation, replacing all .txt files of past distributions
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-fonts.yml | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/.github/workflows/build-fonts.yml b/.github/workflows/build-fonts.yml index 91c002b77..2b06bf219 100644 --- a/.github/workflows/build-fonts.yml +++ b/.github/workflows/build-fonts.yml @@ -70,17 +70,20 @@ jobs: - name: make zip run: | - ARCHIVE=Inter-${{ env.inter_version }}.zip - echo "rsm_archive=$ARCHIVE" >> $GITHUB_ENV - make -j zip - mv build/release/*.zip "$ARCHIVE" + ZIP=Inter-${{ env.inter_version }}.zip + ZIP_EXTRAS=Inter-${{ env.inter_version }}-extras.zip + echo "inter_zip=$ZIP" >> $GITHUB_ENV + echo "inter_zip_extras=$ZIP_EXTRAS" >> $GITHUB_ENV + make -j zip zip_extras + mv build/release/*.zip ./ - name: Upload archive (unless tag) if: ${{ ! startsWith(github.ref, 'refs/tags/v') }} uses: actions/upload-artifact@v3 with: - name: "${{ env.rsm_archive }}" - path: "${{ env.rsm_archive }}" + path: | + "${{ env.inter_zip }}" + "${{ env.inter_zip_extras }}" retention-days: 1 - name: Publish release (if tag) @@ -90,4 +93,6 @@ jobs: prerelease: true name: "${{ env.inter_version }}" body: "This release was automatically created" - files: "${{ env.rsm_archive }}" + files: | + "${{ env.inter_zip }}" + "${{ env.inter_zip_extras }}" |