Delete favicon.ico, exclude it from the rsync transfer

... so that it doesn't deleted again when I reupload it to https://github.com/kaitai-io/formats-kaitai-io.github.io/
kaitai-io · Jun 18, 2021 · fa70a3e · fa70a3e
1 parent e151372
commit fa70a3e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 15 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -65,7 +65,12 @@ jobs:
           .github/push_artifacts/publish \
             -o kaitai-io \
             -r formats-kaitai-io.github.io \
-            -m "Build results of ${GITHUB_REF#refs/heads/*} $GITHUB_REPOSITORY@$GITHUB_SHA" \
-            -- --exclude=.git --exclude=.travis.yml --exclude=CNAME _build/html/
+            -m "Build results of ${GITHUB_REF#refs/heads/*} $GITHUB_REPOSITORY@$GITHUB_SHA" -- \
+            --exclude=.git \
+            --exclude=.travis.yml \
+            --exclude=CNAME \
+            --exclude=favicon.ico \
+            --exclude=favicon.ico.license \
+            _build/html/
         # NB: trailing slash in '_build/html/' is *very* important for rsync!
         if: github.ref == 'refs/heads/master'
diff --git a/_build/favicon.ico b/_build/favicon.ico
diff --git a/_build/favicon.ico.license b/_build/favicon.ico.license