From d1db564fde10cdc5571d2db7e8db430088fd9582 Mon Sep 17 00:00:00 2001
From: Angel Ortega <angel@triptico.com>
Date: Thu, 4 Dec 2008 15:33:20 +0100
Subject: [PATCH] Improved mp_doccer detection.

---
 config.sh | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

diff --git a/config.sh b/config.sh
index 4f29517..aee0850 100755
--- a/config.sh
+++ b/config.sh
@@ -207,12 +207,20 @@ fi
 echo -n "Testing if mp_doccer is installed... "
 MP_DOCCER=$(which mp_doccer || which mp-doccer)
 
-if [ $? == 0 ] ; then
-	echo "OK"
-	echo "MP_DOCCER=yes" >> makefile.opts
-	DOCS="$DOCS \$(MP_DOCCER_DOCS)"
+if [ $? = 0 ] ; then
+
+	if ${MP_DOCCER} --help | grep grutatxt > /dev/null ; then
 
-	grep GRUTATXT=yes makefile.opts > /dev/null && DOCS="$DOCS \$(G_AND_MP_DOCS)"
+		echo "OK"
+
+		echo "MP_DOCCER=yes" >> makefile.opts
+		DOCS="$DOCS \$(MP_DOCCER_DOCS)"
+
+		grep GRUTATXT=yes makefile.opts > /dev/null && DOCS="$DOCS \$(G_AND_MP_DOCS)"
+	else
+		echo "Outdated (No)"
+		echo "MP_DOCCER=no" >> makefile.opts
+	fi
 else
 	echo "No"
 	echo "MP_DOCCER=no" >> makefile.opts
-- 
2.11.4.GIT