[tools/mpfrlint] Check a Texinfo rule (Section "Ending a Sentence")

with common words that end with a capital letter.

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

1 files changed, 7 insertions, 0 deletions

diff --git a/tools/mpfrlint b/tools/mpfrlint
index 5f1f0d1fb..cfd3afb79 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -79,6 +79,13 @@ do
     echo "$file contains unprotected mpfr_printf-like function calls"
 done
 
+# Check a Texinfo rule (Section "Ending a Sentence") with common words
+# that end with a capital letter:
+#   Use '@.' instead of a period, '@!' instead of an exclamation point,
+#   and '@?' instead of a question mark at the end of a sentence that
+#   does end with a capital letter.
+grep -E '(LIP|MPFR?|NaN)\)?[.!?]' doc/mpfr.texi | grep -v '^\* .*::'
+
 fdlv1="`sed -n '/Version / {
   s/.*Version //
   s/,.*//