Commit Diff


commit - 3510dd9865ee2a64ce9796528b60ec9e751bc834
commit + 3276dbe01e03c87fa20a8908a56dcc891860f373
blob - 2c4208528b4e788bc548e09940a976a8f8a3283a
blob + e8c9efe96994e66a27c24710bf649448955d38c5
--- .github/workflows/publish.yaml
+++ .github/workflows/publish.yaml
@@ -30,6 +30,9 @@ jobs:
       - name: Publish HTML table of contents
         run: cp index.html man3/
 
+      - name: Publish CSS
+        run: cp style.css man3/
+
       - name: Publish HTML pages to GitHub Pages
         uses: JamesIves/github-pages-deploy-action@v4.4.0
         with: