[mutter] workspace-manager: Fix a documentation warning

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

commit 57772e5850f52a1b47600d3902f39c9fcc5435fe
Author: Robert Mader <robert mader posteo de>
Date:   Fri Jul 12 21:57:31 2019 +0200

    workspace-manager: Fix a documentation warning
    
    Pure comment should not start with two stars. Fixes a GIR creation warning
    introduced in 8038eaa99fd.
    
    https://gitlab.gnome.org/GNOME/mutter/merge_requests/683

 src/core/meta-workspace-manager.c | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)
---
diff --git a/src/core/meta-workspace-manager.c b/src/core/meta-workspace-manager.c
index 1e006661d..4f668e041 100644
--- a/src/core/meta-workspace-manager.c
+++ b/src/core/meta-workspace-manager.c
@@ -150,9 +150,8 @@ meta_workspace_manager_class_init (MetaWorkspaceManagerClass *klass)
                   G_TYPE_INT,
                   META_TYPE_MOTION_DIRECTION);
 
-  /**
-   * Emitted when calling meta_workspace_manager_reorder_workspace.
-   * 
+  /* Emitted when calling meta_workspace_manager_reorder_workspace.
+   *
    * This signal is emitted when a workspace has been reordered to
    * a different index. Note that other workspaces can change
    * their index too when reordering happens.