vocabs.refresh: skip private vocabs.

2012-08-10 19:33:18 -07:00 · 2012-08-10 19:33:18 -07:00 · 5aef9ef873
parent b36dc93747
commit 5aef9ef873
1 changed files with 1 additions and 1 deletions
--- a/basis/vocabs/refresh/refresh.factor
+++ b/basis/vocabs/refresh/refresh.factor
@ -54,7 +54,7 @@ SYMBOL: modified-docs
        V{ } clone modified-sources set
        V{ } clone modified-docs set

-        child-vocabs [
+        child-vocabs [ ".private" tail? not ] filter [
            [
                [
                    [ modified-sources ]