resolve some errors, and fix build-docs.sh

Karel van Klinkrequested to merge
feature/update-build-docs into develop

Merge request reports