diff options
Diffstat (limited to 'cli/options.cli')
-rw-r--r-- | cli/options.cli | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/cli/options.cli b/cli/options.cli index 0f0d1a9..32a2794 100644 --- a/cli/options.cli +++ b/cli/options.cli @@ -364,6 +364,20 @@ class options "Insert the content of <file> at the end of the generated HTML file." }; + std::string --output-prefix + { + "<prefix>", + "Add <prefix> at the beginning of the generated output file name(s)." + }; + + std::string --output-suffix + { + "<suffix>", + "Add <suffix> at the end of the generated output file name(s). Note that + it is added before any file type-specific suffixes; see \cb{--*-suffix} + below." + }; + std::string --hxx-suffix = ".hxx" { "<suffix>", |