docs: even more fixes

adamperkowski · Nov 9, 2024 · 5e57785 · 5e57785
1 parent 63e6ca0
commit 5e57785
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -74,6 +74,6 @@ jobs:
 
       - name: Push the svg
         run: |
-          git add CONTRIBUTORS.svg
-          git commit -am "Update CONTRIBUTORS.svg"
-          git push --set-upstream origin gh-pages
+          git add CONTRIBUTORS.svg || true
+          git commit -am "update `CONTRIBUTORS.svg`" || true
+          git push --set-upstream origin gh-pages || true
diff --git a/book/src/highlightos.md b/book/src/highlightos.md
@@ -6,3 +6,9 @@ This documentation includes only the "main kernel" (inside the `/kernel` directo
 Documentation for bleeding-edge main can be found at [https://os.adamperkowski.dev/main](https://os.adamperkowski.dev/main).
 
 Keep in mind that this website is still a WIP.
+
+## Contributors
+
+<a href="https://github.com/adamperkowski/highlightos/graphs/contributors">
+  <img src="https://raw.githubusercontent.com/adamperkowski/highlightos/gh-pages/CONTRIBUTORS.svg"/>
+</a>