summaryrefslogtreecommitdiff
path: root/tools/mpfrlint
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-03-20 15:33:54 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-03-20 15:33:54 +0000
commit552905c6aade3cd421ef56032fee970cbec8a025 (patch)
treee5b084e270b65cff4adc1730e5694d5206a818fc /tools/mpfrlint
parent1fd68510afd21920bcec9ca4e9d1d0df4c9c1e98 (diff)
downloadmpfr-552905c6aade3cd421ef56032fee970cbec8a025.tar.gz
[tools/mpfrlint] For codespell, skip all the algorithms.* files.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12486 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
-rwxr-xr-xtools/mpfrlint2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint
index d605e6bd3..a79600bca 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -441,7 +441,7 @@ EOF
if which codespell > /dev/null 2> /dev/null; then
err-if-output "codespell" codespell ${term:+--enable-colors} \
-q3 -I codespell.ignore \
- -S 'algorithm2e.sty,algorithms.tex,texinfo.tex,openout.*' \
+ -S 'algorithm2e.sty,algorithms.*,texinfo.tex,openout.*' \
AUTHORS BUGS INSTALL NEWS README TODO doc examples $srctests
else
echo "Warning! codespell is not installed. Cannot check spelling." >&2