Add gir-ignore-docsection.patch: Fix generation with newer GIR files
Matthias Klumpp
3 years ago
|
0 |
From b5a463ce6a1f41979030ed43b33c266fb1a352ae Mon Sep 17 00:00:00 2001
|
|
1 |
From: Mike Wey <mike@mikewey.eu>
|
|
2 |
Date: Thu, 17 Sep 2020 22:54:15 +0200
|
|
3 |
Subject: [PATCH] Skip the general documentation in docsection.
|
|
4 |
|
|
5 |
See Also: gtkd-developers/GlibD#10
|
|
6 |
---
|
|
7 |
source/gtd/GirPackage.d | 4 ++++
|
|
8 |
1 file changed, 4 insertions(+)
|
|
9 |
|
|
10 |
diff --git a/source/gtd/GirPackage.d b/source/gtd/GirPackage.d
|
|
11 |
index 8745397..6f698e7 100644
|
|
12 |
--- a/source/gtd/GirPackage.d
|
|
13 |
+++ b/source/gtd/GirPackage.d
|
|
14 |
@@ -207,6 +207,10 @@ final class GirPackage
|
|
15 |
// We are not able to wrap these.
|
|
16 |
reader.skipTag();
|
|
17 |
break;
|
|
18 |
+ case "docsection":
|
|
19 |
+ // General documentation.
|
|
20 |
+ reader.skipTag();
|
|
21 |
+ break;
|
|
22 |
default:
|
|
23 |
error("Unexpected tag: ", reader.front.value, " in GirPackage: ", name, reader);
|
|
24 |
}
|
|
0 |
01_gir-ignore-docsection.patch
|