Fix documentation generation

RISCfuture · RISCfuture · commit 4255677983e5 · 2025-12-19T10:11:44.000+09:00
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -3,7 +3,7 @@ name: Deploy Documentation
 
 on:
   push:
-    branches: [main]
+    branches: [master]
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
