Now builds with MLton

[hcoop/domtool2.git] / src / sources

diff --git a/src/domtool.cm b/src/sources
similarity index 85%
rename from src/domtool.cm
rename to src/sources
index f23f86d..0c03c35 100644 (file)
--- a/src/domtool.cm
+++ b/src/sources
@@ -1,14 +1,3 @@
-Group is
-
-$/basis.cm
-$/smlnj-lib.cm
-$/ml-yacc-lib.cm
-$/html-lib.cm
-$/pp-lib.cm
-$c/internals/c-int.cm
-
-../openssl/smlnj/FFI/libssl.h.cm
-
 errormsg.sig
 errormsg.sml
 
@@ -21,8 +10,8 @@ ast.sml
 
 ../config.sml
 
-domtool.lex
 domtool.grm
+domtool.lex
 
 parse.sig
 parse.sml
@@ -54,6 +43,9 @@ slave.sml
 defaults.sig
 defaults.sml
 
+openssl.sig
+openssl.sml
+
 msgTypes.sml
 msg.sig
 msg.sml
@@ -82,9 +74,6 @@ plugins/mailman.sml
 order.sig
 order.sml
 
-openssl.sig
-openssl.sml
-
 htmlPrint.sig
 htmlPrint.sml