Everything you Know About XHTML Is wrong
diveintohtml5.org
diveintohtml5.org
Include it if you target the XHTML parser. (Note that if you target the XHTML parser, IE will not show the document at all.) Leave it out if you target the HTML parser. (But if you target the HTML parser, you might as well use HTML.)
Theoretically you could target both HTML and XHTML parsers with the same document, e.g. by using content negotiation. Since this is a lot of hassle and has no real benefit, not a lot of people does this. But in this theroretical case the correct is to leave the prolog out, since it is optional in XML and illegal in HTML.