turn off auto-use when using help-lint

2009-06-18 19:34:56 -05:00 · 2009-06-18 19:34:56 -05:00 · f1bf5db9ed
parent 03b8e1b756
commit f1bf5db9ed
1 changed files with 1 additions and 0 deletions
--- 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