Using sample.texi file from the Texinfo manual works badly with
    makeinfo --docbook.

Ah. I admit I never tried this.  Thanks for the report.

Philippe, can you take a look if you have time?

Thanks,
k


_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo

Reply via email to