diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 8268344b2b..60685b0bf0 100644 --- a/Makefile.am +++ b/Makefile.am @@ -66,6 +66,9 @@ check-spaces: src/common/[^as]*.c \ src/or/[^et]*.[ch] src/or/t*.c src/or/eventdns_tor.h +check-docs: + ./contrib/checkOptionDocs.pl + check-logs: ./contrib/checkLogs.pl \ src/*/*.[ch] | sort -n |