From: Oleg Broytman <phd@phdru.name>
Date: Sat, 29 Apr 2017 03:29:19 +0000 (+0300)
Subject: Remove publish-docs
X-Git-Tag: 0.2.0~9
X-Git-Url: https://git.phdru.name/?a=commitdiff_plain;h=a745f0f7a38739e6b5274060bfd38abd4ba4638b;p=sqlconvert.git

Remove publish-docs
---

diff --git a/publish-docs b/publish-docs
deleted file mode 100755
index 6d2ca7c..0000000
--- a/publish-docs
+++ /dev/null
@@ -1,8 +0,0 @@
-#! /bin/sh
-
-web="`git config --get --path htdocs.path`" &&
-
-cd "`dirname \"$0\"`"/docs/_build/html &&
-rsync -ahP --del * --exclude=objects.inv "$web" &&
-
-exec chmod -R u=rwX,go=rX "$web"