Re: GNU Texinfo 4.13 available

[Karl Berry]

Hi Simon,

    I can't seem to find this, was it really included?

Sigh.  I guess I forgot to add the refcard stuff to all the places for
make dist.  I'll look into it.  Thanks for noticing.  (The files are
there in cvs.)

karl