Redistribution of the PHP manual with ads

Hello,

I sometimes see redistributed PHP manuals with Google Adsense or some
other advertisements.  Is that kind of thing allowed?  If it is, I would
like to redistribute it on my web site as well, so please let me know.

PHP manual sites with some ads:
http://phpspot.net/php/man/php/copyright.html
http://www.phppro.jp/phpmanual/php/index.html