diff 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
line wrap: on
line diff
--- a/xml/parse.sml	Thu Nov 21 16:36:22 2013 -0500
+++ b/xml/parse.sml	Fri Nov 22 09:36:14 2013 -0500
@@ -67,9 +67,7 @@
     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