diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-06-04 12:18:51 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-06-04 12:18:51 +0000 |
commit | b2b33477ae1e679ad973ab0bc92b91871e8eb6fb (patch) | |
tree | f049d3ee4e90cfa648bb813235d2a97d48c03920 /tools | |
parent | 44b7ef1e5d375e140522a49aeeb8ecc42bfb4829 (diff) | |
download | mpfr-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-x | tools/mpfrlint | 15 |
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 |