From 302d64182a86a4ea53a2f6133b5218ef50157bfa Mon Sep 17 00:00:00 2001
From: Oleg Morozenkov <m@oleg.rocks>
Date: Thu, 5 Dec 2019 02:11:51 +0300
Subject: Rename tools scripts

---
 tools/docs-push-gh-pages | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 tools/docs-push-gh-pages

(limited to 'tools/docs-push-gh-pages')

diff --git a/tools/docs-push-gh-pages b/tools/docs-push-gh-pages
new file mode 100755
index 0000000..36e80f8
--- /dev/null
+++ b/tools/docs-push-gh-pages
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+./docs-generate
+cd ..
+git checkout gh-pages
+find . -maxdepth 1 -not -name "docs" -not -name ".git" -not -name "tools" -print0 | xargs -0 rm -r
+mv docs/* .
+mv docs/.nojekyll .
+rmdir docs
+rm -r tools/*
+git add -A
+git commit -m "Updated docs $(date)"
+git push origin gh-pages
+git checkout master
-- 
cgit v1.2.3