commit dd15e12e3959bf9aad88b361bff2b8daad2a6619
author Zack Williams <zdw@opennetworking.org> Tue Jul 16 16:31:39 2019 -0700
committer Zack Williams <zdw@opennetworking.org> Tue Jul 16 16:31:42 2019 -0700
tree 991dacd53e987845fb79af8eca0c78af1d00baa5
parent f3e3e788687251a9d5a9f3aff29b478399d3cb11

Use gerrit repo name when moving documentation

`repo` may checkout to other directory name

Change-Id: Id2f7bff13eebc047d19eff715d3df969db4e9535

jjb/docs.yaml

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