feat: migrate to nextra

Author: yanboishere

.github/workflows/deploy.yml

@@ -1,4 +1,4 @@
-name: Deploy Docusaurus to GitHub Pages
+name: Deploy Nextra to GitHub Pages
 
 on:
   push:
@@ -22,21 +22,21 @@ jobs:
         with:
           node-version: '20'
           cache: 'npm'
-          cache-dependency-path: website/package-lock.json
+          cache-dependency-path: docs/package-lock.json
 
       - name: Install dependencies
         run: npm ci
-        working-directory: website
+        working-directory: docs
 
       - name: Build website
         run: npm run build
-        working-directory: website
+        working-directory: docs
 
       - name: Deploy to GitHub Pages (gh-pages branch)
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: website/build
+          publish_dir: docs/out
           publish_branch: gh-pages
           force_orphan: true
           user_name: github-actions[bot]

docs/next.config.mjs

@@ -0,0 +1,8 @@
+import nextra from 'nextra'
+
+const withNextra = nextra({
+  theme: 'nextra-theme-docs',
+  themeConfig: './theme.config.jsx',
+})
+
+export default withNextra()