doc: remove leftover check-doc documentation

fanquake · fanquake · commit 93843f68918f · 2018-05-29T21:49:34.000+08:00
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
 ===================
 
