From f13b7029e9af43282ebe6c2e9bb4dd749c8e450a Mon Sep 17 00:00:00 2001
From: Oleg Morozenkov <m@oleg.rocks>
Date: Mon, 23 Jul 2018 02:09:18 +0300
Subject: Move docs to gh-pages branch

---
 tools/push-ghpages | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 tools/push-ghpages

(limited to 'tools/push-ghpages')

diff --git a/tools/push-ghpages b/tools/push-ghpages
new file mode 100644
index 0000000..91f606a
--- /dev/null
+++ b/tools/push-ghpages
@@ -0,0 +1,12 @@
+#!/bin/bash
+set -e -o pipefail
+
+./generate-docs
+git checkout gh-pages
+find . -maxdepth 1 -not -name "docs" -not -name ".git" -print0 | xargs -0 rm -r
+mv docs/* .
+mv docs/.nojekyll .
+rmdir docs
+git add -A
+git commit -m "Updated docs $(date)"
+git push origin gh-pages
-- 
cgit v1.2.3