+ "-tc" :: args => (fn fname => (Main.setupUser (); ignore (Main.check fname)), args)
+ | args => (Main.request, args)
+
+val _ =
+ case args of
+ [fname] =>
+ if Posix.FileSys.access (fname, []) then
+ doit fname
+ else
+ doit (OS.Path.joinDirFile {dir = domtoolRoot (),
+ file = fname})
+ | [] => Main.requestDir (domtoolRoot ())