From 2a550e6466e820f8bc3171d8f0054ee880399089 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Tue, 14 May 2013 16:20:43 -0400
Subject: [PATCH] Document --clutter-display in the man page

This is the sole option that was missing from the
man page.

https://bugzilla.gnome.org/show_bug.cgi?id=700339
---
 man/gnome-shell.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/man/gnome-shell.xml b/man/gnome-shell.xml
index fa9e7d15b..90b194e1d 100644
--- a/man/gnome-shell.xml
+++ b/man/gnome-shell.xml
@@ -125,6 +125,12 @@
                                 <listitem><para>List possible modes and exit</para></listitem>
                         </varlistentry>
 
+                        <varlistentry>
+                                <term><option>--clutter-display=<replaceable>DISPLAY</replaceable></option></term>
+
+                                <listitem><para>Clutter the option display (otherwise ignored)</para></listitem>
+                        </varlistentry>
+
                 </variablelist>
 
         </refsect1>