From 07eb1add3c500ca4c53d499340bf5d524e288b39 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 20 Jun 2012 10:11:01 +0200
Subject: Rename --*logue options to --*logue-file

---
 cli/options.cli | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'cli/options.cli')

diff --git a/cli/options.cli b/cli/options.cli
index fe48219..aef408e 100644
--- a/cli/options.cli
+++ b/cli/options.cli
@@ -121,25 +121,25 @@ class options
     "Generate documentation in the HTML format."
   };
 
-  std::string --man-prologue
+  std::string --man-prologue-file
   {
     "<file>",
     "Insert the content of <file> at the beginning of the man page file."
   };
 
-  std::string --man-epilogue
+  std::string --man-epilogue-file
   {
     "<file>",
     "Insert the content of <file> at the end of the man page file."
   };
 
-  std::string --html-prologue
+  std::string --html-prologue-file
   {
     "<file>",
     "Insert the content of <file> at the beginning of the HTML file."
   };
 
-  std::string --html-epilogue
+  std::string --html-epilogue-file
   {
     "<file>",
     "Insert the content of <file> at the end of the HTML file."
-- 
cgit v1.1