comparison xml/parse.sml @ 1904:686fa4e7f397

xml/parse: Accept entity files on the command line Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- xml/parse.sml | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 7e2655b25ea1
children
comparison
equal deleted inserted replaced
1903:de3afd3ecf07 1904:686fa4e7f397
65 loop () 65 loop ()
66 end 66 end
67 in 67 in
68 print "structure Entities = struct\n"; 68 print "structure Entities = struct\n";
69 print "\tval all =\n"; 69 print "\tval all =\n";
70 doFile "xml/xhtml-lat1.ent"; 70 app doFile (CommandLine.arguments ());
71 doFile "xml/xhtml-special.ent";
72 doFile "xml/xhtml-symbol.ent";
73 print "\t[]\n"; 71 print "\t[]\n";
74 print "end\n" 72 print "end\n"
75 end 73 end
76 74
77 val () = main () 75 val () = main ()