From 94acee6fcfac9a41f5ad053c5ce274a0655dcc3e Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Sat, 29 Apr 2017 06:30:01 +0300
Subject: [PATCH] Remove publish-docs

---
 publish-docs | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 publish-docs

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