10 articles

jessealama · Oct 3, 2010 · f6dcc07 · f6dcc07
1 parent 9256898
commit f6dcc07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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