[gnome-mines] Update man page.

[Robert Roth <robertroth src gnome org>]

commit 551611be372b8e70bd4a46e18a6cfda6ac3deace
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Mon Jul 14 05:38:35 2014 +0200

    Update man page.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=733162

 data/gnome-mines.6 |   19 ++-----------------
 1 files changed, 2 insertions(+), 17 deletions(-)
---
diff --git a/data/gnome-mines.6 b/data/gnome-mines.6
index 82ef21c..d3c8a65 100644
--- a/data/gnome-mines.6
+++ b/data/gnome-mines.6
@@ -25,23 +25,8 @@ is a puzzle game where you locate mines floating in an ocean using
 only your brain and a little bit of luck.
 .SH OPTIONS
 .TP
-.B \-x, \-\-width=X
-Width of grid
-.TP
-.B \-y, \-\-height=Y 
-Height of grid
-.TP
-.B \-n, \-\-mines=NUMBER
-Number of mines
-.TP
-.B \-f, \-\-size
-Size of the board (0-2 = small-large, 3=custom)
-.TP
-.B \-a, \-\-a=X
-X location of window
-.TP
-.B \-b, \-\-b=Y
-Y location of window
+.B \-v, \-\-version
+Print release version and exit
 .P
 This program also accepts the standard GNOME and GTK options.
 .SH AUTHORS