From 2efc9b76dfee4a18ee1c78c780b2710c46132062 Mon Sep 17 00:00:00 2001
From: Peter Marschall <peter@adpm.de>
Date: Fri, 25 May 2012 19:15:32 +0200
Subject: [PATCH] opensc-explorer: document new command line parameter SCRIPT

---
 doc/tools/opensc-explorer.1.xml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/tools/opensc-explorer.1.xml b/doc/tools/opensc-explorer.1.xml
index dd784b41..64cf8bc0 100644
--- a/doc/tools/opensc-explorer.1.xml
+++ b/doc/tools/opensc-explorer.1.xml
@@ -20,6 +20,7 @@
 		<cmdsynopsis>
 			<command>opensc-explorer</command>
 			<arg choice="opt"><replaceable class="option">OPTIONS</replaceable></arg>
+			<arg choice="opt"><replaceable class="parameter">SCRIPT</replaceable></arg>
 		</cmdsynopsis>
 	</refsynopsisdiv>
 
@@ -95,8 +96,9 @@
 <refsect1>
 	<title>Commands</title>
 	<para>
-		The following commands are supported at the <command>opensc-explorer</command>
-		interactive prompt.
+		The following commands are supported at <command>opensc-explorer</command>'s
+		interactive prompt or in script files passed via the command line parameter
+		<replaceable class="parameter">SCRIPT</replaceable>.
 		<variablelist>
 			<varlistentry>
 				<term>