...

diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in
index 84452acd3a1b15bcad09894ad40a8422fdb692f7..aeb8af025298496b2ee09be7c63b34da4a26696a 100644 (file)
--- 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
     -->