HCoop
/
hcoop
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Run domtool as hcoop.daemon instead of hcoop
[hcoop/portal.git]
/
mlt.conf
diff --git
a/mlt.conf
b/mlt.conf
index
3540eff
..
e5ea120
100644
(file)
--- a/
mlt.conf
+++ b/
mlt.conf
@@
-5,8
+5,10
@@
before before
after after
exn exn
after after
exn exn
-out
/home/hcoop/public_html/src/hcoop/
out
-pub /
var/www/users.hcoop.net/cgi/hcoop
+out out
+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