From 5ec1f0ef84abc702fa33b36950eefb9895ab1679 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Fri, 22 Nov 2013 09:36:14 -0500 Subject: xml/parse: Accept entity files on the command line Signed-off-by: Anders Kaseorg --- Makefile.am | 2 +- xml/parse.sml | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) --- xml/parse.sml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'xml') 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 -- cgit v1.2.3