update in ground_2 static_2 basic_2

[helm.git] / matitaB / matita / netplex.conf

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 5e947c28b3cb928f0ea01d121e1d38609247723b..7bdad94f0e07579ee72c2720978b9d03bbb04b58 100644 (file)
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -27,7 +27,7 @@ netplex {
           path = "/";
           service {
             type = "file";
-            docroot = "/home/matitaweb/matita/matita";
+            docroot = "/home/matitaweb/matita/matita/html";
             media_types_file = "/etc/mime.types";
             enable_listings = true;
           }
@@ -135,4 +135,3 @@ netplex {
   }
 }
 
-