X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.conf.xml.in;h=aeb8af025298496b2ee09be7c63b34da4a26696a;hb=3e373f30525987b7b121ed74c8a1292dc71d185c;hp=84452acd3a1b15bcad09894ad40a8422fdb692f7;hpb=fd3eb05be0d27238298a040c55e70128b735e2d4;p=helm.git

diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in
index 84452acd3..aeb8af025 100644
--- a/helm/software/matita/matita.conf.xml.in
+++ b/helm/software/matita/matita.conf.xml.in
@@ -44,7 +44,7 @@
 
     Note that:
       exactly one 'user'    db must be specified
-      exactly one 'library' db must be specified
+      exactly one 'library' db can be specified
       exactly one 'legacy'  db can  be specified
     -->