Update generated documentation for version 1.2.5