This PHP Manual build is broken

--=_64d65091.0jlbEmoZuxPYIuPsopgmbrA/Hc5sw14jROsXTHI1N0gvxsoP
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

The pt_br build of the PHP Manual is broken, so it does not validate or build. Please fix it! ;)

Attached is the full log

Love,
	The docs.php.net server

--=_64d65091.0jlbEmoZuxPYIuPsopgmbrA/Hc5sw14jROsXTHI1N0gvxsoP--