Add index.html

veryl-lang · Feb 28, 2024 · c281318 · c281318
1 parent 010cd4f
commit c281318
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -57,10 +57,10 @@ jobs:
             mdbook build -d book/$po_lang
             echo "::endgroup::"
           done
+      - name: Move to public
+        run: mv ./book/book public
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./book/book
-          destination_dir: book
           cname: doc.veryl-lang.org
diff --git a/public/index.html b/public/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<head>
+    <meta charset="utf-8">
+    <title>Redirecting to https://veryl-lang.org/</title>
+    <meta http-equiv="refresh" content="0; URL=https://veryl-lang.org/">
+    <link rel="canonical" href="https://veryl-lang.org/">
+</head>
+</html>