Re: manual.xml.in
| From: | Jakub Vrana | Date: | Fri, 19 Aug 2005 14:51:57 +0000 |
| Subject: | Re: manual.xml.in | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969369656@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..
There's no need to edit it anymore but please edit
appendices/extensions.xml instead.
Jakub Vrana