Merge pull request #7280

faeda0e [travis] Run contrib/devtools/check-doc.py early (MarcoFalke)
fada0c9 [travis] Fail when documentation is outdated (MarcoFalke)
This commit is contained in:
Wladimir J. van der Laan
2016-01-19 09:41:11 +01:00
3 changed files with 52 additions and 0 deletions

View File

@@ -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
===============