From fada0c90b655226ddf79cd49dadb0d193f76edad Mon Sep 17 00:00:00 2001 From: MarcoFalke Date: Mon, 4 Jan 2016 02:06:04 +0100 Subject: [travis] Fail when documentation is outdated --- contrib/devtools/README.md | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'contrib/devtools/README.md') diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md index a58b8733a6..1647d3ee3b 100644 --- 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 =============== -- cgit v1.2.3