X-Git-Url: http://gitweb.michael.orlitzky.com/?p=dead%2Fhtsn-import.git;a=blobdiff_plain;f=src%2FMain.hs;fp=src%2FMain.hs;h=a2277057940edabe70df7517f250ed1f7d99649e;hp=907c3517b8a28c034605f9608595bc8ef17c4358;hb=3c1e37ee3ead276288ac167b6b8f75f4060ca1b2;hpb=93cab4df902fe7399637bdac4201d713bccad583 diff --git a/src/Main.hs b/src/Main.hs index 907c351..a227705 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -115,7 +115,7 @@ import_file cfg path = do -- caused by a document whose DTD is not present (i.e. is -- unsupported). So we return "success" to allow the XML file to -- be deleted. - report_error $ "No DTD for file " ++ path ++ "." + report_info $ "No DTD for file " ++ path ++ "." return True (ImportFailed errmsg:_) -> do report_error $ errmsg ++ " (" ++ path ++ ")"