]> gitweb.michael.orlitzky.com - dead/htsn-import.git/blobdiff - src/Main.hs
Report "no DTD" as info instead of error.
[dead/htsn-import.git] / src / Main.hs
index 907c3517b8a28c034605f9608595bc8ef17c4358..a2277057940edabe70df7517f250ed1f7d99649e 100644 (file)
@@ -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 ++ ")"