diff options
| author | MarcoFalke <[email protected]> | 2016-01-04 02:06:04 +0100 |
|---|---|---|
| committer | MarcoFalke <[email protected]> | 2016-01-04 19:24:07 +0100 |
| commit | fada0c90b655226ddf79cd49dadb0d193f76edad (patch) | |
| tree | aabfa7071fb03750930aad48dfbf6492218c3fca /contrib/devtools/README.md | |
| parent | Merge pull request #7158 (diff) | |
| download | discoin-fada0c90b655226ddf79cd49dadb0d193f76edad.tar.xz discoin-fada0c90b655226ddf79cd49dadb0d193f76edad.zip | |
[travis] Fail when documentation is outdated
Diffstat (limited to 'contrib/devtools/README.md')
| -rw-r--r-- | contrib/devtools/README.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md index a58b8733a..1647d3ee3 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 =============== |