PHP Manual duplicate content

Python

Just had a little thought. You know the PHP manual, its pretty big right with a lot of pages to it...

Well theres are quite a few PHP/Webmaster related sites which have put it on their own sites

Wouldnt this damage their site in the search engines because it would be duplicate content on a pretty big scale (loads of sections and pages)?