Re: [PATCH] makeinfo's DocBook index output

[José Fonseca]

On Thu, Nov 07, 2002 at 09:19:59AM -0500, Karl Berry wrote:
>    Attached is a patch to fix a bug in the DocBook index output. 
>
> Thanks very much.  Can you send me a sample input file that gets the
> wrong output?  

The source file is GNU make texinfo manual included in make-3.79.1
source package, also available at
http://mefriss1.swan.ac.uk/~jfonseca/devhelp/source/gnu/make/

> I don't understand the "(automatic variable)" error.

My MUA wrapped the lines. The problem is that '<D' should be '%lt;D' as
'<D' is no tag but the name of a special automatic variable in make.

> Also, can you please try the latest pretest, which is at
>  ftp://alpha.gnu.org/gnu/texinfo/texinfo.tar.bz2
>  http://texinfo.org/pretest/ftp/texinfo.tar.bz2
> (and .gz)?  I want to make another release in a few days, so hopefully
> this hasn't broken anything for you ...

Since I've decided to hack on makeinfo that I've been using the cvs on
savannah. I didn't found any regression so far. So in principle
everything should be ok.

>    producing DevHelp books
>
> What a nice project :).

I'm glad you like it!

> Thanks,

It's a pleasure to be of some assistence. I'm the one who's very
thankfull for texinfo, especially the XML/DocBook backend since it
really facilitates the generation of a myriad of output formats/styles.


BTW, I've already discovered the problem with the docbook output
reported in
http://mail.gnu.org/pipermail/bug-texinfo/2002-September/005283.html .
It seems that the code 'xml_insert_element (BOOKINFO, START);' in
xmlc:827 is being called inside execute_string, but 'xml_insert_element
(ABSTRACT, END);' in xml.c:714 is not  (I can show you the stack back
traces of this). By some reason in some texinfo documents (such as the
autoconf-2.53a manual) the expanded abstract is printed twice causing
unbalanced BOOKINFO/ABSTRACT tags. I still haven't the time to figure
out the best way to fix this though.


Regards,

José Fonseca
__________________________________________________
Do You Yahoo!?
Everything you'll ever need on one web page
from News and Sport to Email and Music Charts
http://uk.my.yahoo.com