This is normally handled by the build_documentation.sh script, but if the tarball includes the documentation then that script is never run. We should do it in both places as the Xcode build uses only the build_documentation.sh script! Fixes #2561.
This is normally handled by the build_documentation.sh script, but if the tarball includes the documentation then that script is never run. We should do it in both places as the Xcode build uses only the build_documentation.sh script! Fixes #2561.