Index is now a redirect

brownsys · Oct 10, 2023 · 4d8a980 · 4d8a980
1 parent 505cd31
commit 4d8a980
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 23 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -2,7 +2,7 @@ name: Automated Documentation Update
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "doc-redirect" ]
 
 env:
   CARGO_TERM_COLOR: always
@@ -28,12 +28,10 @@ jobs:
         cp -R target/doc docs/libs
         rm -R .github
     - name: Copy Rustc Docs
-      run: |
-        cd doc-src && cargo run
-    - name: Build Index Page
-      uses: docker://pandoc/core
-      with:
-        args: "-s -o docs/index.html doc-src/index.md"
+      run: cargo run
+      working-directory: doc-src
+    - name: Copy index page
+      run: cp doc-src/index.html docs/index.html
     - name: Commit Doc Generation
       run: |
         git add docs

diff --git a/doc-src/index.html b/doc-src/index.html
@@ -0,0 +1,11 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="refresh" content="0; url='https://www.notion.so/justus-adam/Paralegal-User-Guide-6e483e6ad03d4701bea245caf1345fcf?pvs=4'" />
+  </head>
+  <body>
+    <p>This URL is only used because it is easy to remember.</p>
+    <p> Paralegal's documentation is actually hosted at <a href="https://www.notion.so/justus-adam/Paralegal-User-Guide-6e483e6ad03d4701bea245caf1345fcf?pvs=4">https://manishearth.github.io/blog/2018/01/10/whats-tokio-and-async-io-all-about/</a> and you are being redirected there now.</p>
+    <p>Should the redirect fail you can also click the link.</p>
+  </body>
+</html>
diff --git a/doc-src/index.md b/doc-src/index.md