mpfrlint: bug fix.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/2.4@6438 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 1 insertions, 1 deletions

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