Merge "Use gerrit repo name when moving documentation"
diff --git a/jjb/docs.yaml b/jjb/docs.yaml
index ac79049..2a7c91a 100644
--- a/jjb/docs.yaml
+++ b/jjb/docs.yaml
@@ -98,7 +98,7 @@
 
           # Find path to the repo, copy into docs
           PROJECT_PATH=$(xmllint --xpath "string(//project[@name=\"$GERRIT_PROJECT\"]/@path)" .repo/manifest.xml)
-          cp -r "$PROJECT_PATH" "docs/repos/$(basename $PROJECT_PATH)"
+          cp -r "$PROJECT_PATH" "docs/repos/$GERRIT_PROJECT"
 
           # build docs, don't touch checkout under test, capture test result
           cd docs