From abb2d6b74b55cf0b2890bbf988a9fcd82db33eda Mon Sep 17 00:00:00 2001
From: darealshinji <djcj@gmx.de>
Date: Sun, 30 Nov 2014 13:37:33 +0100
Subject: [PATCH] install a manpage

---
 usr/share/man/man1/mintmenu.1 | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 usr/share/man/man1/mintmenu.1

diff --git a/usr/share/man/man1/mintmenu.1 b/usr/share/man/man1/mintmenu.1
new file mode 100644
index 0000000..7984c56
--- /dev/null
+++ b/usr/share/man/man1/mintmenu.1
@@ -0,0 +1,15 @@
+.TH MINTMENU 1 "" ""
+.SH NAME
+mintMenu \- advanced MATE menu
+.SH SYNOPSIS
+.B mintmenu \fR[option]
+.SH DESCRIPTION
+mintMenu is one of the most advanced menus under Linux.
+It supports filtering, favorites, easy\-uninstallation, autosession, and many other features.
+.SH OPTIONS
+.TP
+.B [\-\-]help\fR,\fB [\-]h\fR,\fB [\-]?
+Display command line options.
+.TP
+.B [\-\-]clean\fR,\fB [\-\-]clear\fR,\fB [\-\-]reset
+Restore the mintMenu settings to default by deleting the settings file (\fI~/.linuxmint/mintMenu\fR).