From 41f54249fb33c69ef637874485fcb90157252645 Mon Sep 17 00:00:00 2001
From: vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>
Date: Tue, 15 Sep 2009 13:15:48 +0000
Subject: mpfrlint: bug fix.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/2.4@6438 280ebfd0-de03-0410-8827-d642c229c3f4
---
 mpfrlint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mpfrlint b/mpfrlint
index bb86f42be..2cec4c549 100755
--- a/mpfrlint
+++ b/mpfrlint
@@ -34,7 +34,7 @@ done
 texisvnd=`LC_ALL=C TZ=UTC svn info mpfr.texi 2> /dev/null | sed -n 's/Last Changed Date:.*, [0-9]* \([A-Z][a-z][a-z] [0-9][0-9][0-9][0-9]\)).*/\1/p'`
 if [ $? -eq 0 ] && [ -n "$texisvnd" ]; then
   texidate=`sed -n 's/@set UPDATED-MONTH \([A-Z][a-z][a-z]\).*\( [0-9][0-9][0-9][0-9]\)/\1\2/p' mpfr.texi`
-  cat <<EOF
+  [ "$texidate" = "$texisvnd" ] || cat <<EOF
 mpfr.texi's UPDATED-MONTH seems to be incorrect:
   mpfr.texi's UPDATED-MONTH: $texidate
   Last Changed Date in WC:   $texisvnd
-- 
cgit v1.2.1