From ef636ceb37e14a2f686bcca69e6637dd651eb831 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Janko=20Marohni=C4=87?= <janko.marohnic@gmail.com>
Date: Mon, 29 Apr 2024 10:09:10 +0200
Subject: [PATCH] Add script for publishing website

---
 bin/publish | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 bin/publish

diff --git a/bin/publish b/bin/publish
new file mode 100755
index 00000000..0d1516d9
--- /dev/null
+++ b/bin/publish
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+cd website
+npm run build
+cd ..
+git switch gh-pages
+cp -R website/build/* .
+git add --all
+git commit -m "Update website"
+git push origin gh-pages
+git switch master