From 57772e5850f52a1b47600d3902f39c9fcc5435fe Mon Sep 17 00:00:00 2001
From: Robert Mader <robert.mader@posteo.de>
Date: Fri, 12 Jul 2019 21:57:31 +0200
Subject: [PATCH] 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.