Add favicon to main page (#7)

wpilibsuite · Sep 10, 2024 · d00a8be · d00a8be
1 parent e8199aa
commit d00a8be
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/static.yml b/.github/workflows/static.yml
@@ -59,6 +59,7 @@ jobs:
           rm -rf allwpilib/docs/development/java allwpilib/docs/development/cpp
           mv allwpilib/docs/development/javadoc allwpilib/docs/development/java
           mv allwpilib/docs/development/doxygen/html allwpilib/docs/development/cpp
+      - run: wget -O favicon.ico https://raw.githubusercontent.com/wpilibsuite/branding/main/export/ico/wpilib-icon-256.ico
       - name: Get pages url
         run: echo url=$(gh api "repos/${{ github.repository }}/pages" --jq '.html_url') >> $GITHUB_ENV
         env:

diff --git a/index.html b/index.html
@@ -21,6 +21,9 @@
       height: 100%;
     }
   </style>
+  <link rel="icon" href="favicon.ico" sizes="48x48">
+  <link rel="icon" href="https://raw.githubusercontent.com/wpilibsuite/branding/main/export/svg/wpilib-icon.svg" sizes="any" type="image/svg+xml">
+  <link rel="apple-touch-icon" href="https://raw.githubusercontent.com/wpilibsuite/branding/main/export/png/wpilib-icon-256.png"/>
 </head>
 
 <body>