[travis] Fail when documentation is outdated

2016-01-04 19:24:07 +01:00
1 parent 3cd836c1d8
commit fada0c90b6
@@ -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
 ===============