Rebuild documentation.

Rebuilding documentation on develop and master to avoid unnecessary
differences.