- -- One of the arrows returned "nothing."
- report_error $ "Unable to determine DTD for file " ++ path ++ "."
- return False
+ -- One of the arrows returned "nothing." Now that we're
+ -- validating against the DTDs, this will almost always be
+ -- 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_info $ "No DTD for file " ++ path ++ "."
+ return True