1 files changed, 16 insertions, 0 deletions
diff --git a/cli/options.cli b/cli/options.cli
index afd0f98..4cce297 100644
--- a/cli/options.cli
+++ b/cli/options.cli
@@ -198,4 +198,20 @@ class options
      that should not be used as identifiers. If provided, the replacement
      name is used instead. All C++ keywords are already in this list."
   };
+
+  // This is a "fake" option in that it is actually handled by
+  // argv_file_scanner. We have it here to get the documentation.
+  //
+  std::string --options-file
+  {
+    "<file>",
+    "Read additional options from <file> with each option appearing on a
+     separate line optionally followed by space and an option value. Empty
+     lines and lines starting with \cb{#} are ignored. The semantics of
+     providing options in a file is equivalent to providing the same set
+     of options in the same order on the command line at the point where the
+     \cb{--options-file} option is specified except that shell escaping and
+     quoting is not required. Repeat this option to specify more than one
+     options files."
+  };
 };