Add [X]HTML5 DTD to header

[hcoop/portal.git] / mlt.conf

diff --git a/mlt.conf b/mlt.conf
index 4b27a02..e5ea120 100644 (file)
--- a/mlt.conf
+++ b/mlt.conf
@@ -6,7 +6,9 @@ after   after
 exn    exn
 
 out    out
-pub    /var/www/users.hcoop.net/cgi/hcoop
+pub    /afs/hcoop.net/user/h/hc/hcoop/portal-tools/cgi/portal
 
-cm     /usr/local/share/smlsql/smlsql.cm
-cm     /usr/local/share/smlsql/libpq/sources.cm
+cm     $/smlnj-lib.cm
+cm     $c/c.cm
+cm     /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/smlsql.cm
+cm     /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/libpq/sources.cm