From 4c05e809fba2127fa357134d1363423ceb7e420f Mon Sep 17 00:00:00 2001
From: Jannis Gebauer <ja.geb@me.com>
Date: Thu, 11 Aug 2016 17:50:11 +0200
Subject: [PATCH] leave out the doc part during publish

---
 manage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manage.sh b/manage.sh
index fbcbbf0e..67eddaf1 100755
--- a/manage.sh
+++ b/manage.sh
@@ -4,7 +4,7 @@
 function publish {
     bump
     readme
-    doc
+    #doc
     push
 }