diff options
-rw-r--r-- | codespell.ignore | 3 | ||||
-rwxr-xr-x | tools/mpfrlint | 5 |
2 files changed, 6 insertions, 2 deletions
diff --git a/codespell.ignore b/codespell.ignore new file mode 100644 index 000000000..b304a395d --- /dev/null +++ b/codespell.ignore @@ -0,0 +1,3 @@ +iff +nd +te diff --git a/tools/mpfrlint b/tools/mpfrlint index 42cd41436..8f7c06dd9 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -431,8 +431,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 |