feat: update doc home page

.github/workflows/docs.yml

@@ -2,6 +2,7 @@ on:
   push: 
     branches: 
       - master
+      - Update-versions
 
 name: Build and deploy documentation
 
@@ -56,11 +57,26 @@ jobs:
       - name: Build documentation
         run: ~/.elan/bin/lake -Kenv=dev build HepLean:docs
 
+      - name: Copy documentation to `docs/docs`
+        run: |
+          mv .lake/build/doc docs/docs
+
+      - name: Bundle dependencies
+        uses: ruby/setup-ruby@v1
+        with:
+          working-directory: docs
+          ruby-version: "3.0" # Not needed with a .ruby-version file
+          bundler-cache: true # runs 'bundle install' and caches installed gems automatically
+    
+
+      - name: Bundle website
+        working-directory: docs
+        run: JEKYLL_ENV=production bundle exec jekyll build
 
       - name: Upload docs & blueprint artifact
         uses: actions/upload-pages-artifact@v1
         with:
-          path: .lake/build/doc
+          path:  docs/_site
 
       - name: Deploy to GitHub Pages
         id: deployment