[vala] girparser: Completely ignore <doc> tags

[Jürg Billeter <juergbi src gnome org>]

commit 7503681642ddf29f67401e3bd396264711513489
Author: Philip Withnall <philip withnall collabora co uk>
Date:   Wed Jul 21 14:51:13 2010 +0100

    girparser: Completely ignore <doc> tags

 vala/valagirparser.vala |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/vala/valagirparser.vala b/vala/valagirparser.vala
index 1069bf3..2993ecc 100644
--- 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) {