diff options
Diffstat (limited to 'xml')
-rw-r--r-- | xml/parse.sml | 4 |
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 |