turn off auto-use when using help-lint

diff --git a/basis/help/lint/lint.factor b/basis/help/lint/lint.factor
index c1dd591013efee379d7d0bfd5be3a139b1a72c5f..1fb836427ae76e5674f7cec97565b0413cc7dafd 100755 (executable)
--- 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