From c0ce65e76335dcd7cbdb7f38fbf5b90817dbf0ba Mon Sep 17 00:00:00 2001
From: Jean Kossaifi <jean.kossaifi@gmail.com>
Date: Mon, 5 Feb 2024 22:58:18 -0800
Subject: [PATCH] FIX

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

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 47de88b..cd7985d 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -44,6 +44,7 @@ jobs:
           git fetch origin gh-pages
           git checkout gh-pages
           git rm -r dev/*
+          mkdir -p dev
           echo ${CWD}
           echo $(ls)
           cp -r doc/build/html/* dev