From 93843f68918f234929cfddc62b507041ce06805e Mon Sep 17 00:00:00 2001
From: fanquake <fanquake@gmail.com>
Date: Tue, 29 May 2018 21:49:34 +0800
Subject: [PATCH] doc: remove leftover check-doc documentation

---
 contrib/devtools/README.md | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md
index 690b8c7dc..a0b622534 100644
--- 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
 ===================