Re: Setting MAKEINFO in Makefile.in?

Greg Stein <gstein@lyra.org> writes:
> On Fri, Nov 02, 2001 at 11:19:17PM +0100, Daniel Stenberg wrote:
> >...
> > Would anyone object a fix that looks like below. It would make 'make
> > doc-info' on systems that don't have makeinfo to instead do 'echo' on the
> > command line it can't run...
>
> +1

+2

(That's Greg plus me, I'm not raising both my hands. :-)

-K

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org
For additional commands, e-mail: dev-help@subversion.tigris.org
Received on Sat Oct 21 14:36:47 2006