[travis] Fail when documentation is outdated

2016-01-04 02:06:04 +01:00
parent 671c4b68cc
commit 32e5de8277
3 changed files with 52 additions and 0 deletions
--- a/contrib/devtools/README.md
+++ b/contrib/devtools/README.md
@@ -2,6 +2,12 @@ Contents
 ========
 This directory contains tools for developers working on this repository.

+check-doc.py
+============
+
+Check if all command line args are documented. The return value indicates the
+number of undocumented args.
+
 clang-format.py
 ===============