diff --git a/Source/cmDocumentation.cxx b/Source/cmDocumentation.cxx
index 157140622..ec0018fe8 100644
--- a/Source/cmDocumentation.cxx
+++ b/Source/cmDocumentation.cxx
@@ -222,7 +222,7 @@ bool cmDocumentation::PrintRequestedDocumentation(std::ostream& os)
 }
 
 //----------------------------------------------------------------------------
-bool cmDocumentation::CheckOptions(int argc, char** argv)
+bool cmDocumentation::CheckOptions(int argc, const char* const* argv)
 {
   // Providing zero arguments gives usage information.
   if(argc == 1)
diff --git a/Source/cmDocumentation.h b/Source/cmDocumentation.h
index ddfbb44b6..276f920f6 100644
--- a/Source/cmDocumentation.h
+++ b/Source/cmDocumentation.h
@@ -36,7 +36,7 @@ public:
    * When true is returned, PrintRequestedDocumentation should be
    * called.
    */
-  bool CheckOptions(int argc, char** argv);
+  bool CheckOptions(int argc, const char* const* argv);
   
   /**
    * Print help requested on the command line.  Call after