Setting MAKEINFO in Makefile.in?

Hi

I'm just curious on what you people think of setting up the MAKEINFO variable
in the Makefile properly? We already check for it in the configure script so
it would be an easy addition.

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...

+++ configure.in Fri Nov 2 23:08:55 2001
@@ -256,8 +256,8 @@
         PYTHON=$PYTHON2
 fi

-AC_PATH_PROG(CHECKMAKEINFO, makeinfo, none)
-if test "$CHECKMAKEINFO" = "none"; then
+AC_PATH_PROG(MAKEINFO, makeinfo, [echo cannot run makeinfo])
+if test "MAKEINFO" = "echo cannot run makeinfo"; then
         dnl we won't install/make any info pages then
         INSTALL_INFO=""
 else

-- 
      Daniel Stenberg - http://daniel.haxx.se - +46-705-44 31 77
   ech`echo xiun|tr nu oc|sed 'sx\([sx]\)\([xoi]\)xo un\2\1 is xg'`ol
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org
For additional commands, e-mail: dev-help@subversion.tigris.org