From c9d929e0a79bd5c1eec017904b78be15bad790fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Blot?= <loic.blot@unix-experience.fr>
Date: Mon, 10 Dec 2018 14:43:45 +0100
Subject: [PATCH] Don't push devel doc when releasing

---
 .ci/release_app.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.ci/release_app.sh b/.ci/release_app.sh
index b1c3cdd..a491c57 100755
--- a/.ci/release_app.sh
+++ b/.ci/release_app.sh
@@ -35,7 +35,8 @@ rm -Rf \
     ocsms/gulpfile.js \
     ocsms/package.json \
     ocsms/.ci \
-    ocsms/.tx
+    ocsms/.tx \
+	ocsms/doc
 
 tar cfz ocsms-${RELEASE_VERSION}.tar.gz ocsms
 echo "Release version "${RELEASE_VERSION}" is now ready."