build docs

Author: mmsaki

.github/workflows/docs.yml

@@ -38,7 +38,7 @@ jobs:
         id: build
 
       - name: Generate docs
-        run: forge doc
+        run: forge doc --build
 
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3