From 8c158aa68ff5a478349392f89fee6c50e0bd16af Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Tue, 5 Apr 2016 19:03:08 -0700
Subject: [PATCH] help.lint.checks: ignore words without defined word-help.

This allows us to skip words that use the $default help.
---
 basis/help/lint/checks/checks.factor | 1 +
 1 file changed, 1 insertion(+)

diff --git a/basis/help/lint/checks/checks.factor b/basis/help/lint/checks/checks.factor
index f4db83d67d..a181a5da83 100644
--- a/basis/help/lint/checks/checks.factor
+++ b/basis/help/lint/checks/checks.factor
@@ -78,6 +78,7 @@ SYMBOL: vocab-articles
         [ parsing-word? ]
         [ "declared-effect" word-prop not ]
         [ constant? ]
+        [ "word-help" word-prop not ]
     } 1|| ;
 
 : skip-check-values? ( word element -- ? )