From 2ede22e8e68223d5fe058c5827629801dabb9716 Mon Sep 17 00:00:00 2001
From: "Edgar P. Burkhart" <git@edgarpierre.fr>
Date: Sun, 9 Feb 2025 19:10:35 +0100
Subject: [PATCH] Replace 'Install generated files' step with 'Copy files' to
 remove old files before copying new ones in demo workflow

---
 .forgejo/workflows/demo.yaml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.forgejo/workflows/demo.yaml b/.forgejo/workflows/demo.yaml
index b8a7140..4b072c7 100644
--- a/.forgejo/workflows/demo.yaml
+++ b/.forgejo/workflows/demo.yaml
@@ -14,5 +14,7 @@ jobs:
         run: ./.env/bin/pip install mystmd
       - name: Build static HTML
         run: ./.env/bin/myst build --html
-      - name: Install generated files
-        run: install -d _build/html /data/srv/forgejo-runner/cours4.0
\ No newline at end of file
+      - name: Copy files
+        run: |
+          rm -rf /data/srv/forgejo-runner/cours4.0
+          cp -r _build/html /data/srv/forgejo-runner/cours4.0
\ No newline at end of file