diff options
Diffstat (limited to 'devtools/clean-whitespace.pl')
-rwxr-xr-x | devtools/clean-whitespace.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/clean-whitespace.pl b/devtools/clean-whitespace.pl index 95481ef..fe05806 100755 --- a/devtools/clean-whitespace.pl +++ b/devtools/clean-whitespace.pl @@ -3,7 +3,7 @@ use strict; use FindBin qw($Bin); chdir "$Bin/.." or die; -my @exempted = qw(Makefile.am ChangeLog doc/Makefile.am); +my @exempted = qw(Makefile.am ChangeLog doc/Makefile.am README README.md); push(@exempted, glob("doc/*.xml")); push(@exempted, glob("doc/xml2rfc/*.xsl")); push(@exempted, glob("m4/*backport*m4")); |