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 aeb8af025298496b2ee09be7c63b34da4a26696a..20e7cfc73e9092be42a920cf98fa5422f6ee35fe 100644 (file)
--- 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>