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) + +