Remove symlinks

coatless · Oct 16, 2023 · 2f32310 · 2f32310
1 parent 44571ed
commit 2f32310
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/publish-demo.yml b/.github/workflows/publish-demo.yml
@@ -71,6 +71,11 @@ jobs:
           cp -rp examples/website/_site docs/examples/website && \
           cp -rp examples/html-document/ docs/examples/html-document
 
+      # Remove symlinks
+      - name: Delete symlinks
+        run: |
+          rm -rf docs/*_extensions
+
       # Publish the docs directory onto gh-pages
       - name: Deploy 🚀
         uses: JamesIves/github-pages-deploy-action@v4