Added --case-sensitive option.

1 files changed, 12 insertions, 1 deletions

diff --git a/cpp/src/slice2docbook/Main.cpp b/cpp/src/slice2docbook/Main.cpp
index 4d8e2cd6112..02a5b822f41 100644
--- a/cpp/src/slice2docbook/Main.cpp
+++ b/cpp/src/slice2docbook/Main.cpp
@@ -34,6 +34,7 @@ usage(const char* n)
         "-d, --debug          Print debug messages.\n"
         "--ice                Permit `Ice' prefix (for building Ice source code only)\n"
         ;
+    // Note: --case-sensitive is intentionally not shown here!
 }
 
 int
@@ -42,6 +43,7 @@ main(int argc, char* argv[])
     string cpp("cpp -C");
     bool debug = false;
     bool ice = false;
+    bool caseSensitive = false;
     bool standAlone = false;
     bool noGlobals = false;
     bool chapter = false;
@@ -126,6 +128,15 @@ main(int argc, char* argv[])
 	    }
 	    --argc;
 	}
+	else if(strcmp(argv[idx], "--case-sensitive") == 0)
+	{
+	    caseSensitive = true;
+	    for(int i = idx ; i + 1 < argc ; ++i)
+	    {
+		argv[i] = argv[i + 1];
+	    }
+	    --argc;
+	}
 	else if(argv[idx][0] == '-')
 	{
 	    cerr << argv[0] << ": unknown option `" << argv[idx] << "'" << endl;
@@ -166,7 +177,7 @@ main(int argc, char* argv[])
 	return EXIT_FAILURE;
     }
 
-    UnitPtr unit = Unit::createUnit(true, false, ice);
+    UnitPtr unit = Unit::createUnit(true, false, ice, caseSensitive);
 
     int status = EXIT_SUCCESS;