From d34f93523057f34b180b877a8fd9397733c8f38d Mon Sep 17 00:00:00 2001
From: Ubuntu <ubuntu@precisekepler-182c1.openstack.bielefeld>
Date: Fri, 4 Aug 2023 14:21:07 +0000
Subject: [PATCH] rsync added to build

---
 scripts/docs/builddocs.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/docs/builddocs.sh b/scripts/docs/builddocs.sh
index be19617..185fb61 100755
--- a/scripts/docs/builddocs.sh
+++ b/scripts/docs/builddocs.sh
@@ -2,7 +2,7 @@
 set -x
 
 sudo apt-get update
-sudo apt-get -y install git python3-sphinx
+sudo apt-get -y install git python3-sphinx rsync
 
 pip install myst-parser
 pip install sphinx_rtd_theme
@@ -26,7 +26,7 @@ git config --global user.name "${GITHUB_ACTOR}"
 git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
 
 mkdir -p "docs/"
-mv "_build/html/"* "docs/"
+rsync -av --delete "_build/html/"* "docs/"
 
 git add docs/