add build-docs.sh for publishing documentation
Passed
Karel van Klink
created pipeline for commit
02818528
, finished
For develop
2 minutes 10 seconds, queued for 3 seconds