From 104d9cab3758178399ea95d6f743eaa964ccd03e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Jard=C3=B3n?= <jjardon@gnome.org>
Date: Wed, 25 Jan 2012 17:35:39 +0000
Subject: [PATCH] gdkapplaunchcontext: Add tags to code example

---
 gdk/gdkapplaunchcontext.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gdk/gdkapplaunchcontext.c b/gdk/gdkapplaunchcontext.c
index 5f9aa249c5..9916c82ca7 100644
--- a/gdk/gdkapplaunchcontext.c
+++ b/gdk/gdkapplaunchcontext.c
@@ -38,6 +38,7 @@
  * screen or workspace.
  * <example>
  * <title>Launching an application</title>
+ * <informalexample>
  * <programlisting>
  * GdkAppLaunchContext *context;
  *
@@ -51,6 +52,7 @@
  *
  * g_object_unref (context);
  * </programlisting>
+ * </informalexample>
  * </example>
  */