From c330036fef9b18bbecca4b7bddb51ac82261d0a9 Mon Sep 17 00:00:00 2001 From: Matthias Clasen 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 @@ List possible modes and exit + + + + Clutter the option display (otherwise ignored) + +