girparser: Completely ignore <doc> tags

diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala
index 1069bf3b6c854a70b80408ba7b6cb2ba06d8e88d..2993ecc54151a7c39bb8539b49f52af6620284e8 100644 (file)
--- a/vala/valagirparser.vala
+++ b/vala/valagirparser.vala
@@ -106,6 +106,10 @@ public class Vala.GirParser : CodeVisitor {
 
        void next () {
                current_token = reader.read_token (out begin, out end);
+
+               // Skip *all* <doc> tags
+               if (current_token == MarkupTokenType.START_ELEMENT && reader.name == "doc")
+                       skip_element();
        }
 
        void start_element (string name) {