Link to the CLI chapter in the manual intro (#2144)

tweag · Jan 23, 2025 · c2bff36 · c2bff36
1 parent 6fa7968
commit c2bff36
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/manual/introduction.md b/doc/manual/introduction.md
@@ -92,6 +92,7 @@ This document is a detailed documentation on the main aspects of the language.
 It is composed of the following sections:
 
 1. [Tutorial](./tutorial.md)
+1. [Command line interface](./cli.md)
 1. [Syntax](./syntax.md)
 1. [Merging](./merging.md)
 1. [Modular configurations](./modular-configurations.md)