diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile
index 603574b..994d25a 100644
--- a/jenkins/Jenkinsfile
+++ b/jenkins/Jenkinsfile
@@ -42,6 +42,7 @@ pipeline {
                    out_dir="branch/${env.BRANCH_NAME}"
                 fi
                 DOCS_DIR=workshops/\$PROJECT_NAME/\$out_dir
+                echo hi
                 # rm -rf \$DOCS_DIR
                 # mkdir -p \$DOCS_DIR
                 # cp -rp \$HOME/docs/build/html/* \$DOCS_DIR