diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-06-06 11:05:33 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-06-06 11:05:33 +0000 |
commit | d4cb2ffa57483e08283bb437f40891eb1938a982 (patch) | |
tree | c847de3b555635727b0cf5b00a51c0f0703def10 /tools | |
parent | 4af41ab9c82dbfd745f53d4938e75ca9062eb011 (diff) | |
download | mpfr-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-x | tools/mpfrlint | 15 |
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 |