Commit 9d954dc81922b2d614b0a01b931af94ec01003b2

Steffen Jaeckel 2019-10-27T16:19:02

also check doc when running `helper.pl -a`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
diff --git a/helper.pl b/helper.pl
index cdab930..223c7ef 100755
--- a/helper.pl
+++ b/helper.pl
@@ -447,6 +447,7 @@ sub die_usage {
 usage: $0 -s   OR   $0 --check-source
        $0 -o   OR   $0 --check-comments
        $0 -m   OR   $0 --check-makefiles
+       $0 -d   OR   $0 --check-doc
        $0 -a   OR   $0 --check-all
        $0 -u   OR   $0 --update-files
 MARKER
@@ -464,7 +465,7 @@ GetOptions( "s|check-source"        => \my $check_source,
 my $failure;
 $failure ||= check_source()       if $check_all || $check_source;
 $failure ||= check_comments()     if $check_all || $check_comments;
-$failure ||= check_doc()          if $check_doc; # temporarily excluded from --check-all
+$failure ||= check_doc()          if $check_all || $check_doc;
 $failure ||= process_makefiles(0) if $check_all || $check_makefiles;
 $failure ||= process_makefiles(1) if $update_files;
 $failure ||= update_dep()         if $update_files;