From 19558ccd3dcead03d269147a2b7b982558a54c43 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 25 Mar 2019 09:58:44 +0100
Subject: [PATCH] [deploy] Add a comment about mkdir on dav server side
---
bob/devtools/deploy.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/bob/devtools/deploy.py b/bob/devtools/deploy.py
index 918d20ad..4ee1ea35 100644
--- a/bob/devtools/deploy.py
+++ b/bob/devtools/deploy.py
@@ -128,6 +128,7 @@ def deploy_documentation(path, package, stable, public, branch, tag, username,
deploy_docs_to.add(tag)
deploy_docs_to.add('stable')
+ # creates package directory, and then uploads directory there
for k in deploy_docs_to:
if not davclient.check(remote_path_prefix): #base package directory
logger.info('[dav] mkdir %s', remote_path_prefix)
--
GitLab