Update Markdown files

site/docs/src/eo-phi-normalizer/rewrite.md

@@ -23,8 +23,9 @@ eo-phi-normalizer rewrite --help
 ```console
 Usage: eo-phi-normalizer rewrite [-r|--rules FILE] [-c|--chain] [-j|--json]
                                  [--tex] [-o|--output-file FILE] [-s|--single]
-                                 [--max-depth INT] [--max-growth-factor INT]
-                                 [FILE] [-d|--dependency-file FILE]
+                                 [-l|--single-line] [--max-depth INT]
+                                 [--max-growth-factor INT] [FILE]
+                                 [-d|--dependency-file FILE]
 
   Rewrite a PHI program.
 
@@ -37,6 +38,8 @@ Available options:
   -o,--output-file FILE    Output to FILE. When this option is not specified,
                            output to stdout.
   -s,--single              Output a single expression.
+  -l,--single-line         Output a single expression on a single line. Has
+                           effect only if the --single is enabled.
   --max-depth INT          Maximum depth of rules application. Defaults to 10.
   --max-growth-factor INT  The factor by which to allow the input term to grow
                            before stopping. Defaults to 10.