[mutter] Give a title to the MetaWorkspace page in the API docs

[Florian Müllner <fmuellner src gnome org>]

commit 58496de595619aab956537fd63307287534dde3e
Author: Tomeu Vizoso <tomeu vizoso collabora com>
Date:   Fri Mar 15 18:24:58 2013 +0100

    Give a title to the MetaWorkspace page in the API docs
    
    https://bugzilla.gnome.org/show_bug.cgi?id=695935

 src/core/workspace.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/core/workspace.c b/src/core/workspace.c
index 71f78a1..d2c1552 100644
--- a/src/core/workspace.c
+++ b/src/core/workspace.c
@@ -23,6 +23,7 @@
 
 /**
  * SECTION:workspace
+ * @title:MetaWorkspace
  * @short_description:Workspaces
  *
  * A workspace is a set of windows which all live on the same