From a3443505bc1f80a5264d31c79bd6120e10da815c Mon Sep 17 00:00:00 2001
From: Michi Henning <michi@zeroc.com>
Date: Fri, 25 Aug 2006 07:58:01 +0000
Subject: Bug 1325.

---
 cpp/src/slice2docbook/Main.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'cpp/src/slice2docbook/Main.cpp')

diff --git a/cpp/src/slice2docbook/Main.cpp b/cpp/src/slice2docbook/Main.cpp
index 228ed36ff16..3d11ac9684c 100644
--- a/cpp/src/slice2docbook/Main.cpp
+++ b/cpp/src/slice2docbook/Main.cpp
@@ -82,12 +82,12 @@ main(int argc, char* argv[])
 	return EXIT_FAILURE;
     }
 
-    if(opts.isSet("h") || opts.isSet("help"))
+    if(opts.isSet("help"))
     {
 	usage(argv[0]);
 	return EXIT_SUCCESS;
     }
-    if(opts.isSet("v") || opts.isSet("version"))
+    if(opts.isSet("version"))
     {
 	cout << ICE_STRING_VERSION << endl;
 	return EXIT_SUCCESS;
@@ -117,12 +117,12 @@ main(int argc, char* argv[])
 	}
     }
     preprocess = opts.isSet("E");
-    standAlone = opts.isSet("s") || opts.isSet("stand-alone");
+    standAlone = opts.isSet("stand-alone");
     noGlobals = opts.isSet("no-globals");
     chapter = opts.isSet("chapter");
     noIndex = opts.isSet("noindex");
     sortFields = opts.isSet("sort-fields");
-    debug = opts.isSet("d") || opts.isSet("debug");
+    debug = opts.isSet("debug");
     ice = opts.isSet("ice");
     caseSensitive = opts.isSet("case-sensitive");
 
-- 
cgit v1.2.3