fixes for docs-build.sh migration

No match.