From 339d7d8e33b56eeb7262def853b7180d628a1189 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 28 Feb 2007 00:18:49 +0000
Subject: [PATCH] document -singleInstance in man page

svn: r5705

original commit: 38d0a2795d418be42ae387b9c4e38fa31798033d
---
 man/man1/mred.1 | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/man/man1/mred.1 b/man/man1/mred.1
index ff482f89..68c8d2de 100644
--- a/man/man1/mred.1
+++ b/man/man1/mred.1
@@ -66,6 +66,15 @@ When running in X11, MrEd accepts the following standard
 .IR file .
 These options must appear before all other options.
 .PP
+In addition, the option
+.B -singleInstance
+is treated like an X option (it must appear before all other
+options), and it runs MrEd in single-instance mode.
+In single-instance mode, when an existing instance
+is running with the same executable name, all non-option
+arguments are treated as file names and sent to the 
+existing instance.
+.PP
 
 .SH STARTUP FILE AND EXPRESSION OPTIONS