[PHP-DOC] manual.xml.in

[Sean Coates]

Do we still need to edit manual.xml.in when we add sections?
For some reason I was under the impression that this is done 
automatically, now..

?

S