diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-03-24 01:48:38 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-03-24 01:48:38 +0000 |
| commit | 89215d4b62554e318c0b326a2e4d22b90b3552bd (patch) | |
| tree | 935bbb2770ed4d1cf4b91fd54487b8aa4340e453 /tools | |
| parent | 02275435893853d5c34244241140b76edeb76661 (diff) | |
| download | mpfr-89215d4b62554e318c0b326a2e4d22b90b3552bd.tar.gz | |
[tools/mpfrlint] For codespell, skip mpfr.t2p (directory created
in doc by "make pdf").
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12497 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/mpfrlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index a79600bca..8ccccf04f 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.*,texinfo.tex,openout.*' \ + -S 'algorithm2e.sty,algorithms.*,mpfr.t2p,texinfo.tex,openout.*' \ AUTHORS BUGS INSTALL NEWS README TODO doc examples $srctests else echo "Warning! codespell is not installed. Cannot check spelling." >&2 |