Fix build-docs script.