diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index a316eaac28f66ab6ed084eb4aad4b71add531a9a..109a71e0af13b2636d741b7b664a5595b26a8856 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -681,16 +681,18 @@ def docs(ctx, requirement, dry_run):
 
     # clone the repo, shallow version, on the specified branch
     if dry_run:
-      logger.info('Cloning "%s", branch "%s" (depth=1)...', package, branch)
+      logger.info('Cloning "%s", branch "%s" (depth=1) to %s...', package,
+          branch, clone_to)
     else:
       if os.path.exists(clone_to):
-         logger.info('Repo "%s", already cloned; pulling from master...',
-             package)
+         logger.info('Repo "%s", already cloned at %s; updating branch "%s"...',
+             package, clone_to, branch)
          git.Git(clone_to).pull("origin", branch)
       else:
-        logger.info('Cloning "%s", branch "%s" (depth=1)...', package, branch)
+        logger.info('Cloning "%s", branch "%s" (depth=1) to %s...', package,
+            branch, clone_to)
         git.Repo.clone_from('https://gitlab-ci-token:%s@gitlab.idiap.ch/%s' % \
-            (token, package), clone_to, branch=branch, depth=1)
+                (token, package), clone_to, branch=branch, depth=1)
 
       # Copying the content from extra_intersphinx
       extra_intersphinx_path = os.path.join(clone_to, "doc",