summaryrefslogtreecommitdiff
path: root/xml
diff options
context:
space:
mode:
Diffstat (limited to 'xml')
-rw-r--r--xml/parse.sml4
1 files changed, 1 insertions, 3 deletions
diff --git a/xml/parse.sml b/xml/parse.sml
index ad63c851..21256010 100644
--- a/xml/parse.sml
+++ b/xml/parse.sml
@@ -67,9 +67,7 @@ fun main () =
in
print "structure Entities = struct\n";
print "\tval all =\n";
- doFile "xml/xhtml-lat1.ent";
- doFile "xml/xhtml-special.ent";
- doFile "xml/xhtml-symbol.ent";
+ app doFile (CommandLine.arguments ());
print "\t[]\n";
print "end\n"
end