Remove docs from git

jakeboone02 · Dec 2, 2023 · 451e44a · 451e44a
1 parent 34feed6
commit 451e44a
Show file tree

Hide file tree

Showing 26 changed files with 2 additions and 1,796 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -15,21 +15,14 @@ jobs:
           bun-version: latest
       - run: bun install
       - run: bun run docs
-
-      # TODO: Remove if unnecessary
-      # - name: Fix permissions
-      #   run: |
-      #     chmod -c -R +rX "docs/" | while read line; do
-      #       echo "::warning title=Invalid file permissions automatically fixed::$line"
-      #     done
-
       - uses: actions/upload-pages-artifact@v2
         with:
           path: 'docs/'
 
   deploy:
     name: Deploy documentation site
     needs: generate
+    runs-on: ubuntu-latest
 
     permissions:
       pages: write
@@ -39,7 +32,6 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
 
-    runs-on: ubuntu-latest
     steps:
       - name: Deploy to GitHub Pages
         id: deployment

diff --git a/.gitignore b/.gitignore
@@ -3,3 +3,4 @@
 node_modules
 dist
 coverage
+docs
diff --git a/docs/.nojekyll b/docs/.nojekyll
diff --git a/docs/assets/highlight.css b/docs/assets/highlight.css
diff --git a/docs/assets/main.js b/docs/assets/main.js
diff --git a/docs/assets/navigation.js b/docs/assets/navigation.js
diff --git a/docs/assets/search.js b/docs/assets/search.js