-- 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 ++ ")"