From a30a86fe3b84eb8765862f7e8cece812e29368d2 Mon Sep 17 00:00:00 2001
From: Alon Kellner <kellner.alon@gmail.com>
Date: Tue, 18 Jun 2024 05:40:28 +0000
Subject: [PATCH] recreate all files in docsite

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

diff --git a/.github/workflows/docsite.yml b/.github/workflows/docsite.yml
index 9be2c42..214ceae 100644
--- a/.github/workflows/docsite.yml
+++ b/.github/workflows/docsite.yml
@@ -52,6 +52,7 @@ jobs:
           git_branch=${GITHUB_REF#refs/heads/}
           git fetch
           git switch docsite
+          find . -mindepth 1 ! -regex '^./builtdocs\(/.*\)?' -delete
           mv -vf builtdocs/{.[!.],}* ./
           rmdir builtdocs
           git add .