diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-05-04 13:41:11 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-05-04 13:41:11 +0000 |
| commit | 116a49f4ad51df25627c1398c9317afba78d7237 (patch) | |
| tree | 3cdf4b76a02b0359331ff9285bb59bb6847cc55d /tools | |
| parent | 323001f543f94378f47d24374b627504e03c5b4d (diff) | |
| download | mpfr-116a49f4ad51df25627c1398c9317afba78d7237.tar.gz | |
Detect typography ambiguities in doc/mpfr.texi ASAP: to avoid errors
due to implicit rules, it is better to explicitly make clear whether
a punctuation mark ends or does not end a sentence.
* Added doc/check-typography sh script to detect such typography
ambiguities.
* doc/Makefile.am: automatically execute this script before mpfr.info
is rebuilt; fail with explanations in case there are ambiguities.
* doc/mpfr.texi: avoid typography ambiguities.
* tools/mpfrlint: replaced the old typography check by a call to the
check-typography script (which does more checks).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10283 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/mpfrlint | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index eca307bb2..7c9b7d524 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -252,13 +252,7 @@ grep __gmp_ tests/*.c | \ grep -E '[^a-z_](m|re)alloc *\(' tests/*.c | \ err-if-output -t "alloc" grep -v '^tests/memory.c:' -# 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 | \ - err-if-output -t "mpfr.texi punctuation" grep -Ev '^(\* .*::|@c )' +err-if-output --dir=doc "check-typography" ./check-typography fdlv1="`sed -n '/Version / { s/.*Version // |