fix doc path in Jenkinsfile
1 file changed
tree: 55ee5b64db706472489395a6c8e48c2e42ebbc9e
  1. .gitignore
  2. Jenkinsfile
  3. dev/
  4. doc/