SBCL

  1. Bug #1714479
  2. Comment #3

Comment 3 for bug 1714479

Revision history for this message
Christophe Rhodes (csr21-cantab) wrote : Re: [Bug 1714479] [NEW] Texinfo macros are not processed

 status fixcommitted

Helmut Jarausch <email address hidden> writes:

> Many thanks, that works fine with texinfo-6.4 here.

Thanks. I've verified that texinfo 4.13 also works with this, and
committed it as 343c5fddf3eeaa52d46ab524558329d51e90bb4a to master.

Best wishes,

Christophe