From efa3485df21d4dfa0373cb1d99cccbb17b624fa8 Mon Sep 17 00:00:00 2001
From: Gabriel Fedel <gabriel.fedel@esss.se>
Date: Thu, 25 Jan 2024 10:46:29 +0100
Subject: [PATCH] fix: Update pusdoc.sh to use github pages

---
 scripts/pushdoc.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/scripts/pushdoc.sh b/scripts/pushdoc.sh
index a6f9681..c0d6b50 100755
--- a/scripts/pushdoc.sh
+++ b/scripts/pushdoc.sh
@@ -12,4 +12,9 @@ die() {
 
 (cd documentation && doxygen)
 
-rsync -av --delete documentation/doc/html/ $USER,epics@frs.sourceforge.net:/home/project-web/epics/htdocs/devlib2/
+git checkout gh-pages
+cp -r documentation/doc/html/* .
+rm -rf documentation
+git add .
+git commit -m "Last updates to documentation"
+git push origin gh-pages