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

On Fri, Jan 7, 2011 at 09:05, Alexey Shein <confik@gmail.com> wrote: > Hello! > > I've made some searching and it seems we can use xmllint as an > alternative for digging detailed error messages in configure.php. Using xmllint is more for "advanced users" as it skips over all the entity generations, version.xml stuff, and all the stuff the configure.php does. I suppose we can add an option to configure.php "--no-manual" which skips over the creation of .manual.xml and validation parts - and then allow 'advanced users' to run xmllint themselfs. For the windows guys, xmllint is probably useless, so this has to be an optional argument. > - 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. > - --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