diff --git a/options.html b/options.html index 2ed3af1dd..d33eb1d1d 100644 --- a/options.html +++ b/options.html @@ -9585,9 +9585,11 @@ The options are
services.unison.pairs.<name>.commandOptionsAdditional command line options as a dictionary to pass to the
unison program.
+Use a list of strings to declare the same option multiple times. +
See unison(1) -for a list of available options.
Type: attribute set of string
Default:
{
+for a list of available options.Type: attribute set of (string or list of string)
Default:
{
auto = "true";
batch = "true";
log = "false";