Re: manual.xml.in
| From: | Dave Barr | Date: | Sun, 14 Aug 2005 21:44:47 +0000 |
| Subject: | Re: manual.xml.in | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969369608@lists.php.net to get a copy of this message | ||
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 scripts/file-entities.php, which is run by ./configure
SDave