Re: [PHP-DOC] manual.xml.in

2005-08-19 Thread Jakub Vrana
Sean Coates wrote: 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.. There's no need to edit it anymore but please edit appendices/extensions.xml instead. Jakub Vrana

[PHP-DOC] manual.xml.in

2005-08-14 Thread 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

Re: [PHP-DOC] manual.xml.in

2005-08-14 Thread Dave Barr
Sean Coates wrote: 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.. ? You don't need to edit it. Extensions are kept in entities/builtin-extensions.xml, which is generated by