From c71a9451752d4c514c037ca5e88d9a0047cfa66f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Mon, 16 Dec 2024 16:46:28 +0100 Subject: [PATCH] Update README text on command options --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index a93e439..05faa3d 100644 --- a/README.md +++ b/README.md @@ -70,7 +70,9 @@ Or, alternatively, you load the plugin at runtime with the `plugin` command: plugin -i slang -After the plugin has been loaded, the frontend is invoked with the `read_slang` command. The command accepts standard slang options, see `help read_slang` and [slang documentation](https://www.sv-lang.com/command-line-ref.html). +After the plugin has been loaded, the frontend is invoked with the `read_slang` command. + +For a full documentation of the command options, see `help read_slang`. The command understands standard [slang options](https://www.sv-lang.com/command-line-ref.html) in addition to other options. Sample usage: