diff --git a/bob/devtools/deploy.py b/bob/devtools/deploy.py index 918d20ad0573ae250a9138149986bdef5ace98fe..4ee1ea35ddf46e13e22635c0ee89bac86659c156 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)