Update build to make docs for prod, also.
Merge latest from dev.