From ed27283da88e3a53072b3e4550b1829786a7af1b Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 4 Mar 2019 10:08:48 +0100
Subject: [PATCH] [scripts][ci] Always remove local generated documentation
---
bob/devtools/scripts/ci.py | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 2cd5f011..9ecb1bfc 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -531,7 +531,8 @@ def nightlies(ctx, order, dry_run):
public=(not private), branch='master', tag=None,
username=os.environ['DOCUSER'], password=os.environ['DOCPASS'],
dry_run=dry_run)
- elif os.path.exists(local_docs):
- logger.debug('Sphinx output was generated during test/rebuild ' \
- 'of %s - Erasing...', package)
- shutil.rmtree(local_docs)
+
+ if os.path.exists(local_docs):
+ logger.debug('Sphinx output was generated during test/rebuild ' \
+ 'of %s - Erasing...', package)
+ shutil.rmtree(local_docs)
--
GitLab