Re: avoid warning from makeinfo

bug-gnulib

From:	Karl Berry
Subject:	Re: avoid warning from makeinfo
Date:	Fri, 6 Jul 2007 18:00:32 -0500

    I don't know what the purpose of this warning is, 

I don't either.  I'll delete it in the next release and make
--reference-limit a no-op.

Current Thread

[Next in Thread]

avoid warning from makeinfo, Bruno Haible, 2007/07/06
- Re: avoid warning from makeinfo, Karl Berry <=