From fd94838032524f4f8f86f5a85dea8a4d15a3e6b2 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Fri, 10 Aug 2012 19:33:18 -0700
Subject: [PATCH] vocabs.refresh: skip private vocabs.

---
 basis/vocabs/refresh/refresh.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/vocabs/refresh/refresh.factor b/basis/vocabs/refresh/refresh.factor
index bff3781e5a..9626ce730c 100644
--- 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 ]