diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-03-08 02:42:59 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-03-08 02:42:59 +0000 |
| commit | aa5b75c6d292fe5700058f63ae21cee047981574 (patch) | |
| tree | f92551aab202840e2168a101036b190bd55c0b79 /tools/mpfrlint | |
| parent | ad6330e86308eec38ddeb02f272ca8877248c71d (diff) | |
| download | mpfr-aa5b75c6d292fe5700058f63ae21cee047981574.tar.gz | |
Added codespell.ignore file with simple words to ignore with codespell
("cas"; "iff" as used in math; "nd" as the n comes from \n in printf,
but nd could also be a variable name; "te" as used as a variable name).
Updated tools/mpfrlint to use this file with codespell.
Fixed spelling mistakes found by codespell 1.11.0.
(merged changesets r12467-12469 from the trunk)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12470 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 5897398a7..8dda14513 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -429,8 +429,9 @@ EOF # (they are in the doc/mpfr.t2p/mpfr.t2d/pdf/check_recorder directory, and # unfortunately codespell can't skip directories such as mpfr.t2p). if which codespell > /dev/null 2> /dev/null; then - err-if-output "codespell" codespell ${term:+--enable-colors} -q3 -S \ - 'algorithm2e.sty,algorithms.tex,texinfo.tex,openout.*' \ + err-if-output "codespell" codespell ${term:+--enable-colors} \ + -q3 -I codespell.ignore \ + -S 'algorithm2e.sty,algorithms.tex,texinfo.tex,openout.*' \ AUTHORS BUGS INSTALL NEWS README TODO doc examples $srctests else echo "Warning! codespell is not installed. Cannot check spelling." >&2 |