summaryrefslogtreecommitdiff
path: root/cli/options.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2012-06-20 10:11:01 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2012-06-20 10:11:01 +0200
commit07eb1add3c500ca4c53d499340bf5d524e288b39 (patch)
treedd22e27434b3bb5c787b1682e9849e5ea32b1f2e /cli/options.cli
parentd12531b8c82d7c728df660f9268df993079ba261 (diff)
Rename --*logue options to --*logue-file
Diffstat (limited to 'cli/options.cli')
-rw-r--r--cli/options.cli8
1 files changed, 4 insertions, 4 deletions
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."