recreate all files in docsite

.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 .