From e7f2e58347fd6818e40504a31c924490a681b19d Mon Sep 17 00:00:00 2001
From: Hsieh Chin Fan <pham@topo.tw>
Date: Sun, 13 Oct 2024 11:08:07 +0800
Subject: chore: add scripts for gh-pages

---
 scripts/gh-pages.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 scripts/gh-pages.sh

(limited to 'scripts')

diff --git a/scripts/gh-pages.sh b/scripts/gh-pages.sh
new file mode 100755
index 0000000..e44bab4
--- /dev/null
+++ b/scripts/gh-pages.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+git checkout -- .gitignore index.html && \
+npm run build && npm run docs && \
+git branch --force gh-pages HEAD && \
+git checkout gh-pages && \
+git add --all && git commit -m gh-pages && \
+git push -f &&
+git checkout HEAD^
-- 
cgit v1.2.3-70-g09d2