From 63c6073541a873a2010afe108111583e83f00301 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Thu, 23 May 2019 12:40:52 +0200
Subject: [PATCH] [scripts/ci] Better printing txt files
---
bob/devtools/scripts/ci.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 109a71e0..5942b54c 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -724,13 +724,13 @@ def docs(ctx, requirement, dry_run):
extra_intersphinx = set([k.strip() for k in extra_intersphinx \
if not k.strip().startswith(group)])
logger.info('Contents of "doc/extra-intersphinx.txt":\n%s',
- extra_intersphinx)
+ ''.join(extra_intersphinx))
with open(os.path.join(doc_path, 'extra-intersphinx.txt'), 'w') as f:
f.writelines(extra_intersphinx)
# nitpick exceptions
logger.info('Contents of "doc/nitpick-exceptions.txt":\n%s',
- nitpick)
+ ''.join(nitpick))
with open(os.path.join(doc_path, "nitpick-exceptions.txt"), "w") as f:
f.writelines(set([k.strip() for k in nitpick]))
--
GitLab