valid baseuri in template

diff --git a/helm/matita/matita.ma.templ b/helm/matita/matita.ma.templ
index 3053fbd7098841e7b01969dade4aae208ca23a45..ec1bc8006a9858f84ffd6261d313959383c269cb 100644 (file)
--- a/helm/matita/matita.ma.templ
+++ b/helm/matita/matita.ma.templ
@@ -12,5 +12,5 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/#fill here#".
+set "baseuri" "cic:/matita/test/".