diff options
| author | Wladimir J. van der Laan <[email protected]> | 2016-01-19 09:41:11 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <[email protected]> | 2016-01-19 09:41:32 +0100 |
| commit | 668906fcf27bdf43a82fe331a377aef55e4b593a (patch) | |
| tree | 7700b69a8f656a4e9486415aeb12fad5f76f1667 /contrib/devtools/README.md | |
| parent | Merge pull request #7372 (diff) | |
| parent | [travis] Run contrib/devtools/check-doc.py early (diff) | |
| download | discoin-668906fcf27bdf43a82fe331a377aef55e4b593a.tar.xz discoin-668906fcf27bdf43a82fe331a377aef55e4b593a.zip | |
Merge pull request #7280
faeda0e [travis] Run contrib/devtools/check-doc.py early (MarcoFalke)
fada0c9 [travis] Fail when documentation is outdated (MarcoFalke)
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 978f26b08..fcb2275fc 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 =============== |