diff --git a/modules/jenkins_slave/files/slave_scripts/gerrit-doc-properties.sh b/modules/jenkins_slave/files/slave_scripts/gerrit-doc-properties.sh
index 41d04c446d..dc9afebb18 100755
--- a/modules/jenkins_slave/files/slave_scripts/gerrit-doc-properties.sh
+++ b/modules/jenkins_slave/files/slave_scripts/gerrit-doc-properties.sh
@@ -23,4 +23,7 @@ then
     DOC_COMMENTS_ENABLED=1
 fi
 
-echo "DOC_RELEASE_PATH=$DOC_RELEASE_PATH" >$WORKSPACE/gerrit-doc.properties
+echo "DOC_RELEASE_PATH=$DOC_RELEASE_PATH" >gerrit-doc.properties
+echo "DOC_COMMENTS_ENABLED=$DOC_COMMENTS_ENABLED" >>gerrit-doc.properties
+
+pwd