From bc6dd68295fc3c747261e8eba2d0bd450ea0eab2 Mon Sep 17 00:00:00 2001 From: khaneliman Date: Sat, 13 Dec 2025 06:09:38 +0000 Subject: [PATCH] deploy: d787ec69c3216ea33be1c0424fe65cb23aa8fb31 --- options.xhtml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/options.xhtml b/options.xhtml index 24fe66f7b..422d803c5 100644 --- a/options.xhtml +++ b/options.xhtml @@ -49758,13 +49758,13 @@ strings concatenated with ā€œ\nā€

-

GNU-style options to be set via $LESS.

+

Options to be set via $LESS.

Type: -attribute set of (boolean or signed integer or string)

+(list of string) or (attribute set of (boolean or signed integer or string or list of (boolean or signed integer or string))) convertible to it

Default: -{ }

+[ ]

Example:

{
   RAW-CONTROL-CHARS = true;