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/push-ghpages | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 tools/push-ghpages

(limited to 'tools/push-ghpages')

diff --git a/tools/push-ghpages b/tools/push-ghpages
deleted file mode 100755
index e7b41fa..0000000
--- a/tools/push-ghpages
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash
-
-./generate-docs
-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