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 faf8978..154ce37 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 README README.md); +my @exempted = qw(Makefile.am ChangeLog doc/Makefile.am README README.md md5.c md5.h); push(@exempted, glob("doc/*.xml")); push(@exempted, glob("doc/*.full")); push(@exempted, glob("doc/xml2rfc/*.xsl")); |