From 675a6bd795e14a7c696540e61c43874aa36cf498 Mon Sep 17 00:00:00 2001 From: Angel Ortega Date: Wed, 2 Jan 2008 17:09:37 +0100 Subject: [PATCH] Better mp_doccer alternative in config.sh. --- config.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.sh b/config.sh index 8efb249..9caff42 100755 --- a/config.sh +++ b/config.sh @@ -396,7 +396,7 @@ else echo echo "mp_doccer not found; some documentation will not be generated." echo "You can take it from http://www.triptico.com/software/mp_doccer.html" - echo "MP_DOCCER=echo" >> makefile.opts + echo "MP_DOCCER=echo > \$@" >> makefile.opts fi if [ "$WITH_NULL_HASH" = "1" ] ; then -- 2.11.4.GIT