summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-06-04 12:18:51 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-06-04 12:18:51 +0000
commitb2b33477ae1e679ad973ab0bc92b91871e8eb6fb (patch)
treef049d3ee4e90cfa648bb813235d2a97d48c03920 /tools
parent44b7ef1e5d375e140522a49aeeb8ecc42bfb4829 (diff)
downloadmpfr-b2b33477ae1e679ad973ab0bc92b91871e8eb6fb.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. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12754 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 b4c2cd292..fb2f371b1 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -442,15 +442,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.*,mpfr.t2p,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