From 3fb53712bb1697d506c0a4e51dd343a9401b751f Mon Sep 17 00:00:00 2001
From: Jean Kossaifi <jean.kossaifi@gmail.com>
Date: Mon, 5 Feb 2024 22:28:17 -0800
Subject: [PATCH] Fix doc path

---
 .github/workflows/build_doc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 60c5067..025efbb 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -42,7 +42,7 @@ jobs:
           git fetch origin gh-pages
           git checkout gh-pages
           git rm -r dev/*
-          cp -r doc/_build/html/* dev
+          cp -r doc/build/html/* dev
           git add dev
           # If the doc is up to date, the script shouldn't fail, hence --allow-empty
           # Might be a cleaner way to check