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: e08ffd649512a4d67a54032cced7a1e7fc2cfc4a
  1. .gitignore
  2. Jenkinsfile
  3. data/
  4. dev/
  5. doc/