summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-06-06 11:05:33 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-06-06 11:05:33 +0000
commitd4cb2ffa57483e08283bb437f40891eb1938a982 (patch)
treec847de3b555635727b0cf5b00a51c0f0703def10 /tools
parent4af41ab9c82dbfd745f53d4938e75ca9062eb011 (diff)
downloadmpfr-d4cb2ffa57483e08283bb437f40891eb1938a982.tar.gz
codespell: simplified exceptions.
* Added codespell.exclude file. * codespell.ignore: removed some words (particular cases). * tools/mpfrlint: use the codespell.exclude exclude file, and for the doc directory, replaced -S by an explicit list of files. (merged changesets r12486,12497,12753-12754 from the trunk) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12760 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-xtools/mpfrlint15
1 files changed, 8 insertions, 7 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint
index 8dda14513..89dc6a855 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -424,15 +424,16 @@ Minimal GMP version mismatch:
doc/mpfr.texi: $gmpv4
EOF
-# In case of problems, one can also skip files or use "grep -v"...
-# In particular, skip the openout.* files, which are created by "make pdf"
-# (they are in the doc/mpfr.t2p/mpfr.t2d/pdf/check_recorder directory, and
-# unfortunately codespell can't skip directories such as mpfr.t2p).
+# 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
+# https://github.com/codespell-project/codespell/issues/535
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)
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
+ -q3 -I codespell.ignore -x codespell.exclude \
+ AUTHORS BUGS INSTALL NEWS README TODO doc/${^doc} examples $srctests
else
echo "Warning! codespell is not installed. Cannot check spelling." >&2
fi