A build of the Debian Installer Manual was triggered by an update to SVN.

There were no errors during the build process.
The new version of the manual has been uploaded successfully.