doc: remove leftover check-doc documentation

swipswaps · May 29, 2018 · 93843f6 · 93843f6
1 parent 2ac6315
commit 93843f6
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md
@@ -2,12 +2,6 @@ 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-diff.py
 ===================