From f6dcc07e6eee599821a722f45745b4dbb91063d6 Mon Sep 17 00:00:00 2001
From: Josef Urban <urban@urban.(none)>
Date: Sun, 3 Oct 2010 21:29:49 +0200
Subject: [PATCH] 10 articles

---
 install-corn1.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install-corn1.sh b/install-corn1.sh
index 6c453b3..e747d5f 100755
--- a/install-corn1.sh
+++ b/install-corn1.sh
@@ -3,7 +3,7 @@
 repos_base=/var/cache/cwiki
 libfiles=/home/urban/ec/CoRN
 coqbin=/home/urban/ec/coq-8.2/bin
-num_articles=5
+num_articles=10
 
 
 if test -z "$1"; then