Fix for internet explorer (but still works badly).

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

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 08b7481e60db6988f8a99759b7b42aea9fb9402d..d7d403be9f9949cca5077d747a205285ffc9b980 100644 (file)
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -27,7 +27,7 @@ netplex {
           path = "/";
           service {
             type = "file";
-            docroot = "/home/barolo/matitaB/matita";
+            docroot = "/home/ricciott/matitaB/matita";
             media_types_file = "/etc/mime.types";
             enable_listings = true;
           }