From 6ff79fe94da69f6354fa167909634d0422c4180e Mon Sep 17 00:00:00 2001
From: Kesha Hietala <khieta@amazon.com>
Date: Thu, 25 Apr 2024 13:02:13 -0400
Subject: [PATCH] working?

---
 .github/workflows/deploy_docs.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
index 6d636d439..7631897d0 100644
--- a/.github/workflows/deploy_docs.yml
+++ b/.github/workflows/deploy_docs.yml
@@ -1,5 +1,4 @@
-# Simple workflow for deploying static content to GitHub Pages
-name: Deploy static content to Pages
+name: Deploy Lean Documentation to Pages
 
 on:
   # Runs on pushes targeting the default branch
@@ -44,7 +43,7 @@ jobs:
       - name: Move documentation to `docs/docs`
         run: |
               mkdir docs
-              cp -r .lake/build/doc docs/docs
+              cp -r cedar-lean/.lake/build/doc docs/docs
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with: