share/man/nitc: Adding the man explication to disable contracts

[nit.git] / share / man / nitlight.md

diff --git a/share/man/nitlight.md b/share/man/nitlight.md
index 00c15c2..97e363b 100644 (file)
--- a/share/man/nitlight.md
+++ b/share/man/nitlight.md
@@ -15,6 +15,12 @@ Unlike generic lexical or syntactic highlighter, nitlight use semantic informati
 Common options of the Nit tools are understood.
 Here, only the specific one are indicated.
 
+### `--txt`
+Generate text with ANSI coloring escape sequences.
+
+Instead of HTML, this generate text files with ANSI escape sequence for colors.
+The options `-f`, `--line-id-prefix` and `--ast` are ignored in this mode.
+
 ### `-f`, `--fragment`
 Omit document header and footer.
 
@@ -40,7 +46,7 @@ Start the source file at this line (default: 1).
 The generated HTML will only contains lines bellow the specified one.
 
 ### `--last-line`
-End the source file at this line (default: to the end)
+End the source file at this line (default: to the end).
 
 The generated HTML will only contains lines above the specified one.
 
@@ -59,6 +65,15 @@ By default, only the modules indicated on the command line are highlighted.
 
 With the `--full` option, all imported modules (even those in standard) are also precessed.
 
+### `--no-infobox`
+Disable the generation of infoboxes.
+
+### `--ast`
+Generate specific HTML elements for each Node of the AST.
+
+Additional `<span>` elements are generated for each node of the AST.
+The HTML generated can become quite large.
+
 # SEE ALSO
 
 The Nit language documentation and the source code of its tools and libraries may be downloaded from <http://nitlanguage.org>