diff options
Diffstat (limited to 'nix/doc/gi-docgen.patch')
| -rw-r--r-- | nix/doc/gi-docgen.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/nix/doc/gi-docgen.patch b/nix/doc/gi-docgen.patch deleted file mode 100644 index 0ecb4bd..0000000 --- a/nix/doc/gi-docgen.patch +++ /dev/null @@ -1,17 +0,0 @@ -diff --git a/gidocgen/gir/parser.py b/gidocgen/gir/parser.py -index e62835d..7ee60fa 100644 ---- a/gidocgen/gir/parser.py -+++ b/gidocgen/gir/parser.py -@@ -288,7 +288,11 @@ class GirParser: - - content = child.text or "" - -- return ast.Doc(content=content, filename=child.attrib['filename'], line=int(child.attrib['line'])) -+ return ast.Doc( -+ content=content, -+ filename=child.attrib.get('filename', ''), -+ line=int(child.attrib.get('line', 0)), -+ ) - - def _maybe_parse_source_position(self, node: ET.Element) -> T.Optional[ast.SourcePosition]: - child = node.find('core:source-position', GI_NAMESPACES) |