diff options
Diffstat (limited to 'tools/doc_modules.py')
| -rw-r--r-- | tools/doc_modules.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/doc_modules.py b/tools/doc_modules.py index 7d3982c69..d46f4db02 100644 --- a/tools/doc_modules.py +++ b/tools/doc_modules.py @@ -54,7 +54,7 @@ def required_typesystems(module): parser.setContentHandler(handler) parser.parse(typesystem_file) except Exception as e: - print(f"Error parsing {typesystem_file}: {e}", file=sys.stderr) + print(f"Warning: XML error parsing {typesystem_file}: {e}", file=sys.stderr) return handler.required_modules |