>>>>> "Jose'" == Jose' Matos <[EMAIL PROTECTED]> writes:

Jose'>    Any comment on this patch, need to add the support to output
Jose'> docbook xml? If not I will commit it later today. 

I guess it's OK, also it is a bit strange that we are mixing latex and
*ML flavors together.

JMarc

Reply via email to