From 3f89d8ce3ffcd10854a912a1914d120bd06ffac2 Mon Sep 17 00:00:00 2001
From: Doug Coleman <erg@jobim.local>
Date: Thu, 18 Jun 2009 19:34:56 -0500
Subject: [PATCH] turn off auto-use when using help-lint

---
 basis/help/lint/lint.factor | 1 +
 1 file changed, 1 insertion(+)

diff --git a/basis/help/lint/lint.factor b/basis/help/lint/lint.factor
index c1dd591013..1fb836427a 100755
--- a/basis/help/lint/lint.factor
+++ b/basis/help/lint/lint.factor
@@ -78,6 +78,7 @@ PRIVATE>
 
 : help-lint ( prefix -- )
     [
+        auto-use? off
         all-vocabs-seq [ vocab-name ] map all-vocabs set
         group-articles vocab-articles set
         child-vocabs