ci: removed /docs folder

bresilla · Oct 19, 2023 · 794ee0c · 794ee0c
1 parent 2de5e1e
commit 794ee0c
Show file tree

Hide file tree

Showing 47 changed files with 1 addition and 6,714 deletions.
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
@@ -9,7 +9,7 @@ jobs:
   deploy_site:
     runs-on: ubuntu-20.04
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
 
       - name: Setup mdBook
         uses: peaceiris/actions-mdbook@v1

diff --git a/docs/.nojekyll b/docs/.nojekyll
diff --git a/docs/404.html b/docs/404.html
diff --git a/docs/FontAwesome/css/font-awesome.css b/docs/FontAwesome/css/font-awesome.css
diff --git a/docs/FontAwesome/fonts/FontAwesome.ttf b/docs/FontAwesome/fonts/FontAwesome.ttf
diff --git a/docs/FontAwesome/fonts/fontawesome-webfont.eot b/docs/FontAwesome/fonts/fontawesome-webfont.eot