Update Command-Line Interface Page

Author: rcosta358

pages/cli.md

@@ -0,0 +1,19 @@
+---
+title: Command-Line Interface
+nav_order: 5
+permalink: /command-line-interface/
+description: Run the LiquidJava verifier from the command line for local checks, debugging, and CI workflows.
+---
+
+# Command-Line 
+
+The LiquidJava verifier can be run from the command line, which the following options:
+
+| Option | Description |
+| --- | --- |
+| `<...paths>` | Paths (file or directories) to be verified by LiquidJava |
+| `--help` | Show the help message with available options |
+| `--version` | Show the current version of the verifier |
+| `--debug` | Enable debug logging and skip expression simplification for troubleshooting |
+
+> To start using the command-line interface, you can follow the setup guide [here]({{ 'getting-started/setup/#command-line-interface' | relative_url }}).

pages/command-line-interface.md

@@ -69,4 +69,4 @@ mvn clean install
 
 This runs the verifier on your project and prints any errors to the console.
 
-> You can find more about the command-line interface [here]({{ '/cli/' | relative_url }}). 
+> You can find more about the command-line interface [here]({{ '/command-line-interface/' | relative_url }}). 

pages/getting-started/setup.md

@@ -18,8 +18,8 @@ cards:
   - title: VS Code Extension
     url: /vscode-extension/
     description: Find out about real-time diagnostics, syntax highlighting, and more in the editor.
-  - title: Command Line
-    url: /cli/
+  - title: Command-Line Interface
+    url: /command-line-interface/
     description: Run the verifier directly from the terminal for local checks, debugging, and CI workflows.
   - title: Examples
     url: /examples/