[tools/mpfrlint] Added a test for the use of "plus/minus infinity"

instead of "positive/negative infinity".

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

1 files changed, 8 insertions, 3 deletions

diff --git a/tools/mpfrlint b/tools/mpfrlint
index 96631bbf2..7321601bd 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -518,6 +518,10 @@ Minimal GMP version mismatch:
   doc/mpfr.texi:  $gmpv4
 EOF
 
+doc=(FAQ.html Makefile.am README.dev add-with-carry.c check-typography \
+     faq.xsl fdl.texi mini-gmp mpfr.texi sum.txt update-faq)
+doc=(doc/${^doc})
+
 # In case of problems, one can skip files with -S or use "grep -v"...
 # The codespell.exclude could be simplified after this is fixed:
 #   https://github.com/codespell-project/codespell/issues/17
@@ -530,13 +534,11 @@ EOF
 # error message will not be visible (if such an issue is reproducible, then
 # remove the "2> /dev/null" and retry in order to see the error message).
 if which codespell > /dev/null 2> /dev/null; then
-  doc=(FAQ.html Makefile.am README.dev add-with-carry.c check-typography \
-       faq.xsl fdl.texi mini-gmp mpfr.texi sum.txt update-faq)
   cscmd()
   {
     codespell ${term:+--enable-colors} \
       -q3 -I codespell.ignore -x codespell.exclude \
-      AUTHORS BUGS INSTALL NEWS README TODO doc/${^doc} examples $srctests \
+      AUTHORS BUGS INSTALL NEWS README TODO $doc examples $srctests \
       2> /dev/null
   }
   err-if-output "codespell" cscmd
@@ -544,6 +546,9 @@ else
   echo "Warning! codespell is not installed. Cannot check spelling." >&2
 fi
 
+err-if-output --msg='Say "positive infinity" and "negative infinity".' -t \
+  "+/- infinity" grep -Ei "(plus|minus) *infinity" $doc $srctests
+
 err-if-output "ck-clz_tab" tools/ck-clz_tab
 err-if-output "ck-inits-clears" tools/ck-inits-clears
 err-if-output "ck-version-info" tools/ck-version-info