mpfrlint: check GFDL versions.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@5367 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 9 insertions, 0 deletions

diff --git a/mpfrlint b/mpfrlint
index 8d7d2bd32..1a7e2bdf7 100755
--- a/mpfrlint
+++ b/mpfrlint
@@ -8,4 +8,13 @@ grep -E 'mpfr_(underflow|overflow|nanflag|inexflag|erangeflag)_p' *.c *.h | \
   grep -v '^exceptions.c:' | grep -v '^mpfr-impl.h:#define mpfr_.*_p()' | \
   grep -v '^mpfr.h:__MPFR_DECLSPEC '
 
+fdlv1="`sed -n '/Version / {s/.*Version //; s/,.*//; p; q}' fdl.texi`"
+fdlv2="`sed -n '/GNU Free Documentation License/ \
+  {s/.*Version //; s/ or.*//; p; q}' mpfr.texi`"
+[ "x$fdlv1" = "x$fdlv2" ] || cat <<EOF
+GFDL versions differ:
+   fdl.texi: $fdlv1
+  mpfr.texi: $fdlv2
+EOF
+
 true