From 1e84ba868a29ba659a21ce2b340d98f8f47d8ec3 Mon Sep 17 00:00:00 2001
From: Ruben Abad <rabad@cvc.uab.es>
Date: Wed, 31 Jan 2024 11:25:27 +0100
Subject: [PATCH] check that documentation upload commands are done in the
 right place

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index c6dd52d60..f1a1fad98 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -222,6 +222,8 @@ pipeline
                                     unstash name: 'carla_docs'
                                     withCredentials([gitUsernamePassword(credentialsId: 'github_token_as_pwd_2', gitToolName: 'git-tool')]) {
                                         sh '''
+                                            pwd
+                                            ls -lh
                                             tar -xvzf carla_doc.tar.gz
                                             git add Doxygen
                                             git commit -m "Updated c++ docs" || true