From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 16 Jun 2011 14:00:17 +0000 (+0000)
Subject: Added location of the weblib repository to matita.conf.xml.in.
X-Git-Tag: make_still_working~2435
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cf3cc96408e4b16b29fd20c4144d51f5c3751ac2;p=helm.git

Added location of the weblib repository to matita.conf.xml.in.
---

diff --git a/matitaB/matita/matita.conf.xml.in b/matitaB/matita/matita.conf.xml.in
index aeb8af025..20e7cfc73 100644
--- a/matitaB/matita/matita.conf.xml.in
+++ b/matitaB/matita/matita.conf.xml.in
@@ -17,6 +17,8 @@
     <key name="basedir">$(user.home)/.matita</key>
     <!-- Where support files are installed -->
     <key name="rt_base_dir">@RT_BASE_DIR@</key>
+    <!-- Location of the svn repository of the shared library -->
+    <key name="weblib">svn+ssh://ricciott@mowgli.cs.unibo.it/local/svn/helm/trunk/weblib</key>
     <!-- Metadata owner. It will be used to create user-specific tables
     in the SQL database. -->
     <key name="owner">$(user.name)</key>