From f9e148362a0e865c93d5a9ff0ad8011749284837 Mon Sep 17 00:00:00 2001
From: vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>
Date: Thu, 2 Jul 2015 10:45:20 +0000
Subject: [tools/build-patch] Rebuild the mpfr.info file if mpfr.texi has been
 modified, in order to take it into account in the patch. This is needed since
 the mpfr.info file is distributed in the tarball.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9609 280ebfd0-de03-0410-8827-d642c229c3f4
---
 tools/build-patch | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/build-patch b/tools/build-patch
index e47564ae6..3780e3bfc 100755
--- a/tools/build-patch
+++ b/tools/build-patch
@@ -78,6 +78,11 @@ if [[ $# -ge 1 ]] then
       echo $3 >> PATCHES
     fi
   fi
+  if ! cmp --quiet $mpfrdir/$base-{a,b}/doc/mpfr.texi; then
+    ./configure
+    make info
+    make distclean
+  fi
   popd
   set +e
   TZ=UTC diff -Naurd $base-a $base-b > $newpatch
-- 
cgit v1.2.1