Re: xmllint - alternative for configure.php --enable-xml-details

From: 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

« previous php.doc (#969382434) next »