Topic: Build a release with documentation
Task reference: CICA-466
Reason: build docu failed
Rationale: edit Jenkinsfile
Side effects: nothing else
1 file changed
tree: 1eb4995c94fb7ca5f4ce7f97a147a96b4d5e944e
  1. .gitignore
  2. Jenkinsfile
  3. dev/
  4. doc/