[gtk+] Add missing api to the docs

[Matthias Clasen <matthiasc src gnome org>]

commit 464536b460196b4ee9261bbc22bc5433c276f2ea
Author: Matthias Clasen <mclasen redhat com>
Date:   Sun Nov 23 19:30:14 2014 -0500

    Add missing api to the docs

 docs/reference/gtk/gtk3-sections.txt |   11 ++++++++++-
 1 files changed, 10 insertions(+), 1 deletions(-)
---
diff --git a/docs/reference/gtk/gtk3-sections.txt b/docs/reference/gtk/gtk3-sections.txt
index 4543494..c07d9b6 100644
--- a/docs/reference/gtk/gtk3-sections.txt
+++ b/docs/reference/gtk/gtk3-sections.txt
@@ -8224,12 +8224,21 @@ GtkGLArea
 GtkGLAreaClass
 gtk_gl_area_new
 gtk_gl_area_get_context
+gtk_gl_area_make_current
+gtk_gl_area_queue_render
+gtk_gl_area_set_error
+gtk_gl_area_get_error
+gtk_gl_area_set_profile
+gtk_gl_area_get_profile
 <SUBSECTION>
 gtk_gl_area_set_has_alpha
 gtk_gl_area_get_has_alpha
 gtk_gl_area_set_has_depth_buffer
 gtk_gl_area_get_has_depth_buffer
-gtk_gl_area_make_current
+gtk_gl_area_set_has_stencil_buffer
+gtk_gl_area_get_has_stencil_buffer
+gtk_gl_area_set_auto_render
+gtk_gl_area_get_auto_render
 <SUBSECTION Standard>
 GTK_TYPE_GL_AREA
 GTK_GL_AREA