Re: xmllint - alternative for configure.php --enable-xml-details
| From: | Alexey Shein | Date: | Sat, 08 Jan 2011 18:14:44 +0000 |
| Subject: | Re: xmllint - alternative for configure.php --enable-xml-details | ||
| References: | 1 2 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969382434@lists.php.net to get a copy of this message | ||
2011/1/8 Hannes Magnusson <hannes.magnusson@gmail.com>:
> On Fri, Jan 7, 2011 at 09:05, Alexey Shein <confik@gmail.com> wrote:
>> - I had to modify docbook.dtd to make xmllint handle xi:includes
>> correctly, afaik they are used only in classsynopsis so there're
>> minimum changes in dtd, here's the patch:
>> http://pastie.org/1433965
>
> No need for it. xincludes are part of the preprocessing, so adding
> --xinclude will "fix" this.
>
Nope. I actually run it with --xinclude option and xmllint complained
like "what does this do here, it's not allowed by dtd?" and didn't
include anything.
>
>> - --postvalid and --noent options quite enlarge memory usage,
>> (according to top output) up to 1Gb, while without them it's about
>> 200Mb
>
> You need to run --noent and --postvalid, otherwise the results make no
> sense (due to all our magic).
>
>
>> - don't know how to use with non-en manual versions
>
> If we add --skip-manual-generation (or whatever name), then you can
> use configure.php to change the langauge.
>
> You will always need to run configure.php to properly generate various things.
>
> -Hannes
>
Ok, thanks for the answering.
--
Regards,
Shein Alexey